Pages that link to "Item:Q832721"
From MaRDI portal
The following pages link to Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL (Q832721):
Displayed 3 items.
- Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL (Q5098720) (← links)
- \textsf{HHLPy}: practical verification of hybrid systems using Hoare logic (Q6174532) (← links)
- Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems (Q6202106) (← links)