Professional Documents
Culture Documents
REHMAT ULLAH
Formal Methods Notations
Z,
Object-Z,
VDM,
Larch
Specification Language Z
1. Schema Name
2. Variable Declarations
3. Predicate
Z Schema
state spaces
operations.
Identifiers in Z
Set Membership:
Set Equality:
{ 3, 6, 7 } = { 7, 6, 3, 6 }
SETS