BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking
暂无分享,去创建一个
[1] Laurent Mounier,et al. A Tool Set for deciding Behavioral Equivalences , 1991, CONCUR.
[2] Radu Mateescu,et al. An overview of CADP 2001 , 2001 .
[3] Henrik Reif Andersen. Model Checking and Boolean Graphs , 1992, ESOP.
[4] Laurent Mounier,et al. Verifying Bisimulations "On the Fly" , 1990, FORTE.
[5] Holger Hermanns,et al. Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation , 1999, ARTS.
[6] Hubert Garavel,et al. OPEN/CÆSAR: An OPen Software Architecture for Verification, Simulation, and Testing , 1998, TACAS.
[7] Radu Mateescu,et al. Distributed On-the-Fly Equivalence Checking , 2005, Electron. Notes Theor. Comput. Sci..
[8] Radu Mateescu. A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems , 2003, TACAS.
[9] Rance Cleaveland,et al. Equivalence and Preorder Checking for Finite-State Systems , 2001, Handbook of Process Algebra.