CZT
From MaRDI portal
Cited in
(16)- A formalism to describe design patterns based on role concepts
- Refinement-oriented models of Stateflow charts
- Type checking \textsf{Circus} specifications
- Saoithín: a theorem prover for UTP
- TCOZ
- JACK
- Saoithin
- UTP2
- Z2sal
- Alcoa
- Z/EVES
- FDR2
- ProBE
- Jaza
- Z2SAL: a translation-based model checker for Z
- Transformation rules for Z
This page was built for software: CZT
