ZRC
From MaRDI portal
Software:33627
swMATH21827MaRDI QIDQ33627FDOQ33627
Author name not available (Why is that?)
Cited In (11)
- 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\)
- 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
