Flow*: An Analyzer for Non-linear Hybrid Systems
Abstract elided by the publisher.
Related papers
- Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods SAS 2010
- HARE: A Hybrid Abstraction Refinement Engine for Verifying Non-linear Hybrid Automata TACAS 2017
- Certified Verification for Algebraic Abstraction CAV 2023
- Closed forms for numerical loops POPL 2019
- Rigorous Simulation-Based Analysis of Linear Hybrid Systems TACAS 2017
- Using Abstractions for the Verification of Linear Hybrid Systems CAV 1994
- Verifying omega-Regular Properties for a Subclass of Linear Hybrid Systems CAV 1995
- Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures CAV 2004