The following pages link to Isabelle/Circus (Q27099):
Displaying 12 items.
- Mechanizing a process algebra for network protocols (Q287372) (← links)
- Modelling temporal behaviour in complex systems with Timebands (Q2248089) (← links)
- Isabelle/UTP: A Mechanised Theory Engineering Framework (Q2814613) (← links)
- Simulink Timed Models for Program Verification (Q2842628) (← links)
- Showing Invariance Compositionally for a Process Algebra for Network Protocols (Q2879249) (← links)
- Unifying Theories of Programming in Isabelle (Q2948230) (← links)
- Towards a UTP Semantics for Modelica (Q2971175) (← links)
- An Axiomatic Value Model for Isabelle/UTP (Q2971180) (← links)
- Unifying Heterogeneous State-Spaces with Lenses (Q3179407) (← links)
- Circus Time with Reactive Designs (Q3455644) (← links)
- The Logic of U ·(TP)2 (Q3455647) (← links)
- A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing Protocol (Q3457779) (← links)