swMATH5782MaRDI QIDQ17921FDOQ17921
Author name not available (Why is that?)
Official website: http://czt.sourceforge.net/
Cited In (16)
- Z2SAL: a translation-based model checker for Z
- Refinement-oriented models of Stateflow charts
- Transformation rules for Z
- TCOZ
- JACK
- Saoithin
- UTP2
- Z2sal
- Alcoa
- Z/EVES
- FDR2
- ProBE
- Jaza
- A formalism to describe design patterns based on role concepts
- Type checking \textsf{Circus} specifications
- Saoithín: a theorem prover for UTP
This page was built for software: CZT
