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