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