Isabelle/Circus
From MaRDI portal
Software:27099
swMATH15208MaRDI QIDQ27099FDOQ27099
Author name not available (Why is that?)
Cited In (12)
- 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
- 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
