BISIMULATOR: A modular tool for on-the-fly equivalence checking

Lecture Notes in Computer Science

Volumn 3440, Issue , 2005, Pages 581-585

  Bergamini, Damien ^a   Descoubes, Nicolas ^a   Joubert, Christophe ^a   Mateescu, Radu ^a  

^a INRIA RHÔNE ALPES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; COMPUTER ARCHITECTURE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; LIBRARIES; PROBLEM SOLVING; PROGRAM COMPILERS;

BOOLEAN EQUATION SYSTEMS (BES); EQUIVALENCE CHECKER; VERIFICATION TOOLBOX;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 24644474855     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31980-1_42     Document Type: Conference Paper

References (10)

1. H. R. Andersen. Model Checking and Boolean Graphs. Theoretical Computer Science, 126(1) :3-30, April 1994.
2. R. Cleaveland and O. Sokolsky. Equivalence and Preorder Checking for Finite-State Systems. In J. A. Bergstra, A. Ponse, and S. A. Smolka (eds.), Handbook of Process Algebra, chapter 6, pages 391-424. North-Holland, 2001.
3. J-C. Fernandez and L. Mounier. Verifying Bisimulations "On the Fly". In J. Quemada, J. Manas, and E. Vázquez (eds.), Proc. of FORTE'90 (Madrid, Spain). North-Holland, November 1990.
4. J-C. Fernandez and L. Mounier. A Tool Set for Deciding Behavioral Equivalences. In Proc. of CONCUR'91 (Amsterdam, The Netherlands), August 1991.
5. H. Garavel. OPEN/CAESAR: An Open Software Architecture for Verification, Simulation, and Testing. In B. Steffen (ed.), Proc. of TACAS'98 (Lisbon, Portugal), LNCS vol. 1384, pp. 68-84. Springer Verlag, March 1998. Full version available as INRIA Research Report RR-3352.
6. H. Garavel, F. Lang, and R. Mateescu. An Overview of CADP 2001. EASST Newsletter 4:13-24, August 2002. Also available as INRIA Report RT-0254.
7. H. Hermanns and M. Siegle. Bisimulation Algorithms for Stochastic Process Algebras and their BDD-based Implementation. In J-P. Katoen (ed.), Proc. of ARTS'99 (Bamberg, Germany), LNCS vol. 1601, pp. 244-265. Springer Verlag, May 1999.
8. C. Joubert and R. Mateescu. Distributed On-the-Fly Equivalence Checking. In L. Brim and M. Leucker (eds.), Proc. of PDMC'04 (London, United Kingdom), ENTCS, September 2004. To appear.
9. R. Mateescu. A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems. In H. Garavel and J. Hatcliff (eds.), Proc. of TACAS'2003 (Warsaw, Poland), LNCS vol. 2619, pp. 81-96. Springer Verlag, April 2003. Full version available as INRIA Research Report RR-4711.
10. http://www.inrialpes.fr/vasy/cadp/resources/benchmark_bcg.html