HARE: A Hybrid Abstraction Refinement Engine for Verifying Non-linear Hybrid Automata
No abstract available.
Related papers
- Abstraction and Counterexample-Guided Construction of omega -Automata for Model Checking of Step-Discrete Linear Hybrid Models CAV 2007
- VeriLHyS: a Framework for LTL Specification and Verification of Hybrid Systems TACAS 2026
- From Duration Calculus To Linear Hybrid Automata CAV 1995
- Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata VMCAI 2022
- Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods SAS 2010
- Flow*: An Analyzer for Non-linear Hybrid Systems CAV 2013
- Verifying omega-Regular Properties for a Subclass of Linear Hybrid Systems CAV 1995
- Membership-Based Synthesis of Linear Hybrid Automata CAV 2019