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