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