Cited in
(26)- Laws of mission-based programming
- Angelic nondeterminism in the unifying theories of programming
- Mechanised support for sound refinement tactics
- From control law diagrams to Ada via \textsf{Circus}
- FM 2005: Formal Methods
- A UTP semantics for \textsf{Circus}
- Test-data generation for control coverage by proof
- Imperative abstractions for functional actions
- ZRC -- A refinement calculus for Z
- CirCUs
- ArcAngel
- CZT
- ArcAngelC
- ClawZ
- ProofPower
- Z/EVES
- Z
- Handel-C
- FDR3
- HOL-TestGen
- Jaza
- Circus
- Hume
- JCSP
- A tactic language for refinement of state-rich concurrent specifications
- Safety-critical Java programs from \textsf{Circus} models
This page was built for software: ZRC