swMATH11781MaRDI QIDQ23720FDOQ23720
Author name not available (Why is that?)
Official website: http://sal.csl.sri.com/hybridsal/
Cited In (9)
- Verifying safety properties of a nonlinear control by interactive theorem proving with the prototype verification system
- Bio-PEPA with Events
- ScicosLab
- HARE
- PVSio-web
- Manip
- SAL
- Extracting counterexamples induced by safety violation in linear hybrid systems
- Combined Decision Techniques for the Existential Theory of the Reals
This page was built for software: HybridSal
