Pages that link to "Item:Q2105429"
From MaRDI portal
The following pages link to Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro} (Q2105429):
Displaying 5 items.
- HyPro (Q39932) (← links)
- Verifying industrial hybrid systems with \textsc{MathSAT} (Q2849590) (← links)
- KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description) (Q3541700) (← links)
- (Q4806208) (← links)
- A computable and compositional semantics for hybrid systems (Q6614877) (← links)