The following pages link to CZT (Q17921):
Displayed 6 items.
- Refinement-oriented models of Stateflow charts (Q436420) (← links)
- Z2SAL: a translation-based model checker for Z (Q539218) (← links)
- A formalism to describe design patterns based on role concepts (Q1037247) (← links)
- Type Checking Specifications (Q2873610) (← links)
- Saoithín: A Theorem Prover for UTP (Q3055742) (← links)
- (Q5414584) (← links)