Concrete Model Checking with Abstract Matching and Refinement
Abstract elided by the publisher.
Related papers
- Skipping Refinement CAV 2015
- Distributed Coalgebraic Partition Refinement TACAS 2022
- SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques CAV 2002
- MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications CAV 2014
- Automatic Abstraction in SMT-Based Unbounded Software Model Checking CAV 2013
- A Refinement Methodology for Distributed Programs in Rust OOPSLA 2025
- Sums of uncertainty: refinements go gradual POPL 2017
- Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics VMCAI 2019