BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking
Open Access
- 1 January 2005
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- A Generic On-the-Fly Solver for Alternation-Free Boolean Equation SystemsLecture Notes in Computer Science, 2003
- Equivalence and Preorder Checking for Finite-State SystemsPublished by Elsevier BV ,2001
- Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based ImplementationLecture Notes in Computer Science, 1999
- OPEN/CÆSAR: An open software architecture for verification, simulation, and testingPublished by Springer Science and Business Media LLC ,1998
- Model checking and boolean graphsTheoretical Computer Science, 1994