Abstract and Model Check While You Prove
Abstract elided by the publisher.
Related papers
- Modalities for Model Checking: Branching Time Strikes Back POPL 1985
- Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems TACAS 2008
- Model Checking for Infinite State Systems Using Data Abstraction, Assumption-Commitment Style reasoning and Theorem Proving CAV 1995
- Tensor Probabilistic Model Checking of Finite-Horizon Markov Chains CAV 2026
- Transition Power Abstractions for Deep Counterexample Detection TACAS 2022
- Efficient Probabilistic Model Checking for Relational Reachability CAV 2025
- Realistic Realizability: Specifying ABIs You Can Count On OOPSLA 2024
- Verification of an Industrial Asynchronous Leader Election Algorithm Using Abstractions and Parametric Model Checking VMCAI 2019