Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement
No abstract available.
DOI 10.1007/3-540-36577-x_14
Related papers
- Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems TACAS 2006
- Abstraction and Counterexample-Guided Construction of omega -Automata for Model Checking of Step-Discrete Linear Hybrid Models CAV 2007
- Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement CAV 2019
- 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
- VCEGAR: Verilog CounterExample Guided Abstraction Refinement TACAS 2007