Pages that link to "Item:Q5098720"
From MaRDI portal
The following pages link to Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL (Q5098720):
Displaying 7 items.
- Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL (Q832721) (← links)
- An axiomatic approach to existence and liveness for differential equations (Q1982634) (← links)
- Integration of formal proof into unified assurance cases with Isabelle/SACM (Q2065527) (← links)
- Formally verified animation for RoboChart using interaction trees (Q6151624) (← links)
- UTP, \textsf{\textit{Circus}}, and Isabelle (Q6535825) (← links)
- Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving (Q6639734) (← links)
- IsaVODEs: Interactive verification of cyber-physical systems at scale (Q6653093) (← links)
