Pages that link to "Item:Q1617825"
From MaRDI portal
The following pages link to Verifying hybrid systems with modal Kleene algebra (Q1617825):
Displaying 9 items.
- Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL (Q832721) (← links)
- Using probabilistic Kleene algebra pKA for protocol verification (Q929968) (← links)
- Affine systems of ODEs in Isabelle/HOL for hybrid-program verification (Q2038037) (← links)
- Modal Kleene algebra applied to program correctness (Q2281640) (← links)
- Abstract strategies and coherence (Q2695348) (← links)
- The Complete Proof Theory of Hybrid Systems (Q2986831) (← links)
- Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV (Q3460629) (← links)
- KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description) (Q3541700) (← links)
- Automated Algebraic Reasoning for Collections and Local Variables with Lenses (Q5098716) (← links)