Isabelle/Circus
From MaRDI portal
swMATH15208MaRDI QIDQ27099FDOQ27099
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007%2F978-3-642-27705-4_20
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}\)
- A mechanized proof of loop freedom of the (untimed) AODV routing protocol
- Isabelle/UTP: a mechanised theory engineering framework
- Unifying heterogeneous state-spaces with lenses
- Towards a UTP semantics for Modelica
This page was built for software: Isabelle/Circus
