A Fast Bisimulation Algorithm
No abstract available.
Related papers
- KATch: A Fast Symbolic Verifier for NetKAT PLDI 2024
- Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation CAV 1996
- A Parallel Relation-Based Algorithm for Symbolic Bisimulation Minimization VMCAI 2019
- An O(m\log n) Algorithm for Stuttering Equivalence and Branching Bisimulation TACAS 2016
- Checking NFA equivalence with bisimulations up to congruence POPL 2013
- Bisimulations for Neural Network Reduction VMCAI 2022
- Bisimulation Through Probabilistic Testing POPL 1989
- Forward and Backward Constrained Bisimulations for Quantum Circuits TACAS 2024