Approximation Refinement for Interpolation-Based Model Checking
Abstract elided by the publisher.
Related papers
- Efficient Abstraction Refinement in Interpolation-Based Unbounded Model Checking TACAS 2006
- Searching for i-Good Lemmas to Accelerate Safety Model Checking CAV 2023
- Accelerated Bounded Model Checking Using Interpolation Based Summaries TACAS 2024
- Space-Time Interpolants CAV 2018
- PIChecker: A POR and Interpolation based Verifier for Concurrent Programs (Competition Contribution) TACAS 2023
- Interpolant-Based Transition Relation Approximation CAV 2005
- Interpolants and Symbolic Model Checking VMCAI 2007
- Interpolation and SAT-Based Model Checking CAV 2003