Pages that link to "Item:Q2007732"
From MaRDI portal
The following pages link to Unifying theories of reactive design contracts (Q2007732):
Displaying 9 items.
- Automated verification of reactive and concurrent programs by calculation (Q2043817) (← links)
- Integration of formal proof into unified assurance cases with Isabelle/SACM (Q2065527) (← links)
- A denotational semantics of simulink with higher-order UTP (Q2096416) (← links)
- A mechanically verified theory of contracts (Q2119969) (← links)
- Automated Algebraic Reasoning for Collections and Local Variables with Lenses (Q5098716) (← links)
- A Unary Semigroup Trace Algebra (Q5098727) (← links)
- Compositional Assume-Guarantee Reasoning of Control Law Diagrams Using UTP (Q5861786) (← links)
- UTP, \textsf{\textit{Circus}}, and Isabelle (Q6535825) (← links)
- Applying formal verification to an open-source real-time operating system (Q6535839) (← links)
