ZRC -- A refinement calculus for \(Z\)
From MaRDI portal
Publication:1293891
DOI10.1007/s001650050016zbMath0934.68062MaRDI QIDQ1293891
Ana Cavalcanti, J. C. P. Woodcock
Publication date: 29 June 1999
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s001650050016
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Mechanised support for sound refinement tactics, A tactic language for refinement of state-rich concurrent specifications, 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, A UTP semantics for \textsf{Circus}, Laws of mission-based programming, Safety-critical Java programs from \textsf{Circus} models
Uses Software