Professional Documents
Culture Documents
REMAT ULLAH
“Conformance to requirements”
“Conformance to requirements”
“Conformance to requirements”
Formal Methods
The notation used in a formal method is called a formal
specification language or 'notation‘.
• Correctness
• Completeness
• Unambiguous (one interpretation)
• Precision (unnecessary detail suppressed)
• Verifiable and traceable
• Independent from design
• Consistent (no conflicting features)
• Concise (lack of noise, irrelevant features)
Z schema
Z schema Inclusion
Z schema Inclusion
Types
Types
Types
(∀x : T •A)
This is true when A holds for all values x of type T. Here x is a said to be a
quantified or bound variable.
Existential Quantification
(∃x : T •A)
Relations
Phone Directory Specification
Add Number
Get & Remove Entry
Combining Schemas