Isabelle/Circus
From MaRDI portal
Software:27099
swMATH15208MaRDI QIDQ27099FDOQ27099
Author name not available (Why is that?)
Cited In (12)
- Isabelle/UTP: A Mechanised Theory Engineering Framework
- Towards a UTP Semantics for Modelica
- The Logic of U ·(TP)2
- Unifying Heterogeneous State-Spaces with Lenses
- Mechanizing a process algebra for network protocols
- A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing Protocol
- Circus Time with Reactive Designs
- Modelling temporal behaviour in complex systems with Timebands
- An Axiomatic Value Model for Isabelle/UTP
- Simulink Timed Models for Program Verification
- Showing Invariance Compositionally for a Process Algebra for Network Protocols
- Unifying Theories of Programming in Isabelle
This page was built for software: Isabelle/Circus
