The following pages link to Unifying theories in ProofPower-Z (Q1941892):
Displaying 9 items.
- Mechanical reasoning about families of UTP theories (Q436368) (← links)
- Denotational semantics and its algebraic derivation for an event-driven system-level language (Q903516) (← links)
- Theoretical and practical approaches to the denotational semantics for MDESL based on UTP (Q2198135) (← links)
- Modelling temporal behaviour in complex systems with Timebands (Q2248089) (← links)
- Simulink Timed Models for Program Verification (Q2842628) (← links)
- Unifying Theories of Programming in Isabelle (Q2948230) (← links)
- An Axiomatic Value Model for Isabelle/UTP (Q2971180) (← links)
- UTP, \textsf{\textit{Circus}}, and Isabelle (Q6535825) (← links)
- Towards a model-checker for \textit{\textsf{Circus}} (Q6535951) (← links)