swMATH21827MaRDI QIDQ33627FDOQ33627
Author name not available (Why is that?)
Official website: https://link.springer.com/article/10.1007/s001650050016
Cited In (24)
- Laws of mission-based programming
- Angelic nondeterminism in the unifying theories of programming
- Mechanised support for sound refinement tactics
- FM 2005: Formal Methods
- From control law diagrams to Ada via \textsf{Circus}
- 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\)
- 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
