CZT

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