All from One, One for All: on Model Checking Using Representatives
Abstract elided by the publisher.
Related papers
- Model Checking Finite-Horizon Markov Chains with Probabilistic Inference CAV 2021
- Liveness Proofs for Hardware Model Checking CAV 2026
- Symmetry Reduction for the Local Mu-Calculus TACAS 2018
- Not all patterns, but enough: an automatic verifier for partial but sufficient pattern matching Haskell 2008
- Abstract Dependency Graphs and Their Application to Model Checking TACAS 2019
- A Truly Symbolic Linear-Time Algorithm for SCC Decomposition TACAS 2023
- Types and higher-order recursion schemes for verification of higher-order programs POPL 2009
- Model Checking Race-Freedom When "Sequential Consistency for Data-Race-Free Programs" is Guaranteed CAV 2023