SPeeDI - A Verification Tool for Polygonal Hybrid Systems
No abstract available.
Related papers
- The d/dt Tool for Verification of Hybrid Systems CAV 2002
- Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search PLDI 2025
- VeriLHyS: a Framework for LTL Specification and Verification of Hybrid Systems TACAS 2026
- Model Checking Polygonal Differential Inclusions Using Invariance Kernels VMCAI 2004
- Experience report: growing and shrinking polygons for random testing of computational geometry algorithms ICFP 2016
- A Hybrid Approach to Semi-automated Rust Verification PLDI 2025
- Verification of Hybrid Systems CAV 2007
- Logic and Compositional Verification of Hybrid Systems - (Invited Tutorial) CAV 2011