Efficient Simplification of Bisimulation Formulas
Abstract elided by the publisher.
Related papers
- Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis SAS 2010
- Computing Distinguishing Formulas for Branching Bisimulation CAV 1991
- Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors CAV 2019
- Smt.ml: A Multi-Backend Frontend for SMT Solvers in OCaml TACAS 2026
- Formula Normalizations in Verification CAV 2023
- Scaling network verification using symmetry and surgery POPL 2016
- A Game for Linear-time-Branching-time Spectroscopy TACAS 2021
- An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs SAS 2011