ZRC
From MaRDI portal
Software:33627
No author found.
Related Items (11)
Angelic nondeterminism in the unifying theories of programming ⋮ Imperative abstractions for functional actions ⋮ Mechanised support for sound refinement tactics ⋮ From control law diagrams to Ada via \textsf{Circus} ⋮ Safety-critical Java programs from \textsf{Circus} models ⋮ FM 2005: Formal Methods ⋮ A tactic language for refinement of state-rich concurrent specifications ⋮ Test-data generation for control coverage by proof ⋮ A UTP semantics for \textsf{Circus} ⋮ ZRC -- A refinement calculus for \(Z\) ⋮ Laws of mission-based programming
This page was built for software: ZRC
