Counterexample Guided Abstraction Refinement for Stability Analysis
No abstract available.
DOI 10.1007/978-3-319-41528-4_27
Related papers
- Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems TACAS 2006
- Thread-Modular Counterexample-Guided Abstraction Refinement SAS 2010
- Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR) CAV 2014
- Counterexample-Guided Abstraction Refinement CAV 2000
- VCEGAR: Verilog CounterExample Guided Abstraction Refinement TACAS 2007
- Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation TACAS 2003
- Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement TACAS 2003
- Efficient Runtime Policy Enforcement Using Counterexample-Guided Abstraction Refinement CAV 2012