The following pages link to Bellerophon (Q35704):
Displaying 4 items.
- 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)
