Pages that link to "Item:Q5206959"
From MaRDI portal
The following pages link to Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems (Q5206959):
Displaying 4 items.
- ModelPlex: verified runtime validation of verified cyber-physical system models (Q681465) (← links)
- An axiomatic approach to existence and liveness for differential equations (Q1982634) (← links)
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants (Q2331077) (← links)
- An axiomatic approach to liveness for differential equations (Q6535961) (← links)
