Automatic Abstraction Techniques for Propositional µ-calculus Model Checking
No abstract available.
Related papers
- Efficient Evidence Generation for Modal μ-Calculus Model Checking TACAS 2025
- Propositional Dynamic Logic for Higher-Order Functional Programs CAV 2018
- Measurement-Based Verification of Quantum Markov Chains CAV 2024
- Predicate abstraction and CEGAR for higher-order model checking PLDI 2011
- Liveness Proofs for Hardware Model Checking CAV 2026
- Types and trace effects of higher order programs JFP 2008
- QSOLE: Automatic QBF Equivalence Checking TACAS 2026
- Symbolic Model Checking without BDDs TACAS 1999