HybridSal
From MaRDI portal
Cited in
(10)- Combined Decision Techniques for the Existential Theory of the Reals
- Verifying safety properties of a nonlinear control by interactive theorem proving with the prototype verification system
- Bio-PEPA with Events
- Scicos
- ScicosLab
- HARE
- PVSio-web
- Manip
- SAL
- Extracting counterexamples induced by safety violation in linear hybrid systems
This page was built for software: HybridSal
