HybridSal
From MaRDI portal
Software:23720
No author found.
Related Items (max. 100)
Verifying safety properties of a nonlinear control by interactive theorem proving with the prototype verification system ⋮ Extracting counterexamples induced by safety violation in linear hybrid systems ⋮ Combined Decision Techniques for the Existential Theory of the Reals ⋮ Bio-PEPA with Events
This page was built for software: HybridSal
