Model Checking: Progress and Problems
Abstract elided by the publisher.
Related papers
- Progress in Certifying Hardware Model Checking Results CAV 2021
- Lattice-theoretic progress measures and coalgebraic model checking POPL 2016
- Fixpoint games on continuous lattices POPL 2019
- A type-directed abstraction refinement approach to higher-order model checking POPL 2014
- Fair stateless model checking PLDI 2008
- A global progressive register allocator PLDI 2006
- Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking TACAS 2019
- QSOLE: Automatic QBF Equivalence Checking TACAS 2026