Pages that link to "Item:Q736461"
From MaRDI portal
The following pages link to Building program construction and verification tools from algebraic principles (Q736461):
Displaying 9 items.
- Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL (Q832721) (← links)
- Unifying theories of time with generalised reactive processes (Q1708268) (← links)
- Unifying theories of reactive design contracts (Q2007732) (← links)
- The refinement calculus of reactive systems (Q2672236) (← links)
- A Discrete Geometric Model of Concurrent Program Execution (Q2971172) (← links)
- Unifying Heterogeneous State-Spaces with Lenses (Q3179407) (← links)
- Hoare Semigroups (Q4640310) (← links)
- Automated Algebraic Reasoning for Collections and Local Variables with Lenses (Q5098716) (← links)
- Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL (Q5098720) (← links)
