"On the Fly" Verification of Behavioural Equivalences and Preorders
No abstract available.
Related papers
- Verifying Quantum Communication Protocols with Ground Bisimulation TACAS 2020
- From enhanced coinduction towards enhanced induction POPL 2022
- Using Compositional Preorders in the Verification of Sliding Window Protocal CAV 1997
- The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems TOPLAS 1993
- BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking TACAS 2005
- Model Checking and Modular Verification TOPLAS 1994
- Model Checking via Reachability Testing for Timed Automata TACAS 1998
- Crowfoot: A Verifier for Higher-Order Store Programs VMCAI 2012