Fixpoint-Guided Abstraction Refinements
Abstract elided by the publisher.
Related papers
- Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts TACAS 2018
- Restart and Refine: Scalable IFDS Taint Analysis across Memory Budgets PLDI 2026
- Counterexample Guided Abstraction Refinement for Stability Analysis CAV 2016
- Thread-Modular Counterexample-Guided Abstraction Refinement SAS 2010
- Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR) CAV 2014
- Counterexample-Guided Abstraction Refinement CAV 2000
- Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems TACAS 2006
- VCEGAR: Verilog CounterExample Guided Abstraction Refinement TACAS 2007