ZRC

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