SpaceEx: Scalable Verification of Hybrid Systems
Abstract elided by the publisher.
Related papers
- Abstract Interpretation with Infinitesimals - Towards Scalability in Nonstandard Static Analysis VMCAI 2016
- A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx CAV 2012
- Verification of Hybrid Systems CAV 2007
- Logic and Compositional Verification of Hybrid Systems - (Invited Tutorial) CAV 2011
- Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems CAV 2010
- Hybrid Systems: From Verification to Falsification CAV 2007
- Language-Based Abstraction Refinement for Hybrid System Verification VMCAI 2007
- Using Abstractions for the Verification of Linear Hybrid Systems CAV 1994