An Experiment on Parallel Model Checking of a CTL Fragment
Rodrigo Tacla Saad, Silvano Dal Zilio, Bernard Berthomieu In ATVA 2012 — 10th International Symposium on Automated Technology for Verification and Analysis, oct 2012.
Parallelism
Mixed Shared-Distributed Hash Tables Approaches for Parallel State Space Construction
Rodrigo Tacla Saad, Silvano Dal Zilio, Bernard Berthomieu In ISPDC 2011 — 10th International Symposium on Parallel and Distributed Computing, jul 2011.
A General Lock-Free Algorithm for Parallel State Space Construction
Bernard Berthomieu, Silvano Dal Zilio, Rodrigo Tacla Saad In PDMC 2010 — 9th International Workshop on Parallel and Distributed Methods in verifiCation, oct 2010.
Enumerative Parallel and Distributed State Space Construction
Rodrigo Tacla Saad, Silvano Dal Zilio, François Vernadat, Bernard Berthomieu preprint, aug 2009.