BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking
No abstract available.
Related papers
- Verifying Quantum Communication Protocols with Ground Bisimulation TACAS 2020
- TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation TACAS 2018
- Octopus: Practical Equivalence Checking of P4 Packet Parsers CAV 2026
- Checking NFA equivalence with bisimulations up to congruence POPL 2013
- Kofola 1.0: A Modular Approach to ømega-Regular Complementation and Inclusion Checking CAV 2026
- Verifying equivalence of database-driven applications POPL 2018
- From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques TACAS 2022
- A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract APLAS 2007