DISTRIBUTOR and BCG_MERGE: Tools for distributed explicit state space generation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3920 LNCS, Issue , 2006, Pages 445-449

  Garavel, Hubert ^a   Mateescu, Radu ^a   Bergamini, Damien ^a   Curic, Adrian ^a   Descoubes, Nicolas ^a   Joubert, Christophe ^a   Smarandache Sturm, Irina ^a   Stragier, Gilles ^a  

^a INRIA RHÔNE ALPES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33745794905     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11691372_30     Document Type: Conference Paper

References (9)

1. H. Garavel. OPEN/CÆSAR: An Open Software Architecture for Verification, Simulation, and Testing. In Proc. of TACAS'98, LNCS vol. 1384, pp. 68-84.
2. H. Garavel, F. Lang, and R. Mateescu. An Overview of CADP 2001. European Association for Software Science and Technology (EASST) Newsletter, 4:13-24, 2002.
3. H. Garavel, R. Mateescu, and I. Smarandache. Parallel State Space Construction for Model-Checking. In Proc. SPIN'2001, LNCS vol. 2057, pp. 217-234.
4. J.F. Groote and J. van de Pol. State Space Reduction using Partial τ-Confluence. In Proc. of MFCS'2000, LNCS vol. 1893, pp. 383-393.
5. Ch. Joubert and R. Mateescu. Distributed On-the-Fly Equivalence Checking. In Proc. of PDMC'2004, ENTCS vol. 128.
6. R. Mateescu. On-the-fly State Space Reductions for Weak Equivalences. In Proc. of FMICS'05, ACM, pp. 80-89.
7. Vasy. BCG_MERGE Manual Page, http://www.inrialpes.fr/vasy/cadp/man/ bcg_merge.html, December 2004.
8. Vasy. DISTRIBUTOR Manual Page, http://www.inrialpes.fr/vasy/cadp/man/ distributor.html, December 2004.
9. Vasy and Sen2. The VLTS benchmark suite, http://www.inrialpes.fr/vasy/ cadp/resources/benchmark-bcg.html, March 2003.