SPeeDI

MaRDI QIDQ13640swMATHFDO

Official website http://www.cs.um.edu.mt/~svrg/Tools/SPeeDI/index.html

Cited in

(9)

• GSPeeDI
• ParaPlan
• Algorithmic analysis of polygonal hybrid systems. I: Reachability
• Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools
• Charon
• ParaPlan: a tool for parallel reachability analysis of planar polygonal differential inclusion systems
• Static Analysis for State-Space Reduction of Polygonal Hybrid Systems
• A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems
• Verification, Model Checking, and Abstract Interpretation

This page was built for software: SPeeDI