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 9 items.
- ModelPlex: verified runtime validation of verified cyber-physical system models (Q681465) (← links)
- Liveness characterization for GFC systems. II (Q1814835) (← 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)
- Proving Liveness and Termination of Systolic Arrays Using Communicating Finite State Machines (Q3690225) (← links)
- (Q4037387) (← links)
- (Q4037394) (← links)
- A Fast Verified Liveness Analysis in SSA Form (Q5049011) (← links)
- An axiomatic approach to liveness for differential equations (Q6535961) (← links)