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):
Displayed 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)
- A program logic to verify signal temporal logic specifications of hybrid systems (Q6201590) (← links)