The following pages link to ZRC (Q33627):
Displaying 11 items.
- Mechanised support for sound refinement tactics (Q432151) (← links)
- A tactic language for refinement of state-rich concurrent specifications (Q541214) (← links)
- Imperative abstractions for functional actions (Q604455) (← links)
- From control law diagrams to Ada via \textsf{Circus} (Q640296) (← links)
- Test-data generation for control coverage by proof (Q736805) (← links)
- Angelic nondeterminism in the unifying theories of programming (Q851128) (← links)
- A UTP semantics for \textsf{Circus} (Q1019016) (← links)
- ZRC -- A refinement calculus for \(Z\) (Q1293891) (← links)
- Laws of mission-based programming (Q2355382) (← links)
- Safety-critical Java programs from \textsf{Circus} models (Q2443940) (← links)
- FM 2005: Formal Methods (Q5716880) (← links)