Pages that link to "Item:Q1293891"
From MaRDI portal
The following pages link to ZRC -- A refinement calculus for \(Z\) (Q1293891):
Displaying 12 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)
- Laws of mission-based programming (Q2355382) (← links)
- Safety-critical Java programs from \textsf{Circus} models (Q2443940) (← links)
- UTP, \textsf{\textit{Circus}}, and Isabelle (Q6535825) (← links)
- Towards a model-checker for \textit{\textsf{Circus}} (Q6535951) (← links)
- \textit{\textsf{Circus2CSP}}: a tool for model-checking \textit{\textsf{Circus}} using FDR (Q6535952) (← links)
