Efficient Abstraction Refinement in Interpolation-Based Unbounded Model Checking
Abstract elided by the publisher.
Related papers
- Unbounded Model-Checking with Interpolation for Regular Language Constraints TACAS 2013
- Space-Time Interpolants CAV 2018
- Approximation Refinement for Interpolation-Based Model Checking VMCAI 2008
- Abstractions from proofs POPL 2004
- Automatic Abstraction in SMT-Based Unbounded Software Model Checking CAV 2013
- Race checking by context inference PLDI 2004
- Accelerated Bounded Model Checking Using Interpolation Based Summaries TACAS 2024
- Transition Power Abstractions for Deep Counterexample Detection TACAS 2022