swMATH896MaRDI QIDQ13640FDOQ13640
Author name not available (Why is that?)
Official website: http://www.cs.um.edu.mt/~svrg/Tools/SPeeDI/index.html
Cited In (9)
- Algorithmic analysis of polygonal hybrid systems. I: Reachability
- Verification, Model Checking, and Abstract Interpretation
- Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools
- GSPeeDI
- Charon
- Static Analysis for State-Space Reduction of Polygonal Hybrid Systems
- A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems
- ParaPlan
- ParaPlan: a tool for parallel reachability analysis of planar polygonal differential inclusion systems
This page was built for software: SPeeDI
