ZRC -- A refinement calculus for \(Z\)

DOI10.1007/s001650050016zbMath0934.68062OpenAlexW2098243945MaRDI 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

zbMATH Keywords

specification language\(Z\) specifications

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (9)

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 ⋮ A tactic language for refinement of state-rich concurrent specifications ⋮ Test-data generation for control coverage by proof ⋮ A UTP semantics for \textsf{Circus} ⋮ Laws of mission-based programming

Uses Software

• ZRC

This page was built for publication: ZRC -- A refinement calculus for \(Z\)