Systematic Construction of Abstractions for Model-Checking
Abstract elided by the publisher.
Related papers
- A Systematic Construction of Abstract Domains SAS 1994
- Abstractions from proofs POPL 2004
- Searching for i-Good Lemmas to Accelerate Safety Model Checking CAV 2023
- Systematic Acceleration in Regular Model Checking CAV 2007
- Abstraction and Counterexample-Guided Construction of omega -Automata for Model Checking of Step-Discrete Linear Hybrid Models CAV 2007
- Deriving linearizable fine-grained concurrent objects PLDI 2008
- Systematic Classification of Attackers via Bounded Model Checking VMCAI 2020
- Using Bounded Model Checking to Focus Fixpoint Iterations SAS 2011