Cited in
(22)- Mechanizing a process algebra for network protocols
- Circus Time with Reactive Designs
- Modelling temporal behaviour in complex systems with Timebands
- Simulink timed models for program verification
- An Axiomatic Value Model for Isabelle/UTP
- ProofPower
- Saoithin
- UTP2
- Handel-C
- HOL-TestGen
- Isabelle/UTP
- Circus
- JCSP
- AODV
- AWN
- Showing invariance compositionally for a process algebra for network protocols
- Unifying theories of programming in Isabelle
- The logic of \(U\cdot(TP)^{2}\)
- Isabelle/UTP: a mechanised theory engineering framework
- A mechanized proof of loop freedom of the (untimed) AODV routing protocol
- Towards a UTP semantics for Modelica
- Unifying heterogeneous state-spaces with lenses
This page was built for software: Isabelle/Circus
