The following pages link to HybridSal (Q23720):
Displaying 4 items.
- Verifying safety properties of a nonlinear control by interactive theorem proving with the prototype verification system (Q264193) (← links)
- Extracting counterexamples induced by safety violation in linear hybrid systems (Q2184551) (← links)
- Combined Decision Techniques for the Existential Theory of the Reals (Q3637273) (← links)
- Bio-PEPA with Events (Q3642952) (← links)