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.
Examples
Examples
SETS
Set Membership:
Set Equality:
{ 3, 6, 7 } = { 7, 6, 3, 6 }
SETS