Evidence-Based Model Checking
Abstract elided by the publisher.
Related papers
- Evidence Explorer: A Tool for Exploring Model-Checking Proofs CAV 2003
- Efficient Evidence Generation for Modal μ-Calculus Model Checking TACAS 2025
- On Checking Model Checkers CAV 1998
- Property Directed Reachability for Generalized Petri Nets TACAS 2022
- A type-directed abstraction refinement approach to higher-order model checking POPL 2014
- Symbolic Model Checking for TLA+ Made Faster TACAS 2023
- Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs CAV 2011
- Octopus: Practical Equivalence Checking of P4 Packet Parsers CAV 2026