Unbounded Model-Checking with Interpolation for Regular Language Constraints
No abstract available.
Related papers
- Efficient Abstraction Refinement in Interpolation-Based Unbounded Model Checking TACAS 2006
- Space-Time Interpolants CAV 2018
- Interpolating Strong Induction CAV 2019
- Bit-Precise Interpolation in Bitwuzla TACAS 2026
- Transition Power Abstractions for Deep Counterexample Detection TACAS 2022
- Interpolants and Symbolic Model Checking VMCAI 2007
- Interpolation and SAT-Based Model Checking CAV 2003
- Applications of Craig Interpolants in Model Checking TACAS 2005