SPeeDI

MaRDI QIDQ13640swMATHFDO

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