Pages that link to "Item:Q1687737"
From MaRDI portal
The following pages link to Bellerophon: tactical theorem proving for hybrid systems (Q1687737):
Displaying 6 items.
- Bellerophon (Q35704) (← links)
- Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL (Q832721) (← links)
- An axiomatic approach to existence and liveness for differential equations (Q1982634) (← links)
- Pegasus: sound continuous invariant generation (Q2147687) (← links)
- Deductive stability proofs for ordinary differential equations (Q2233505) (← links)
- Pegasus: a framework for sound continuous invariant generation (Q6535946) (← links)
