CS636 Final Term Solved Subjective by Maha Malik

3. Two Ways of Specify Function in VDM-SL:

➡️ [Slide Ref: Topic#063 – Specifying Functions]

4. Sequence Definition and Three Kinds:

A sequence is an ordered collection where repetitions matter. Types/Kinds of sequences:

•  Normal sequence: [a, b, c]
•  Empty sequence: []
•  Repeating sequence: [a, b, a]

➡️ [Slide Ref: Sequences – Intro and Examples]

5. Domain Operators:

➡️ [Slide Ref: Maps – Domain Operator]

1. 5 Sequence Operators Table Matching Tha:

Here are five sequence operators and their actions:

2. Negation, AND, OR, Exclusive OR, Implication – Match Symbols:

3. Robust ke bary mein tha – 5 Robust Evaluation Batany Thy:

•  Completeness: The method should cover all essential behaviors and requirements of the system.
•  Scalability: It should work well for both small and large systems without becoming slow or impractical
•  Expressiveness: It should provide rich language features to accurately represent different system behaviors
•  Automated: Automated tools should help with model checking and verification, reducing human errors.
•  Soundness and Completeness of Analysis: Any conclusion drawn from the method should be theoretically correct and explore all relevant aspects of the system.

1. Universal Quantifier:

➡️ [Slides – Topic: Predicate Logic – Quantification]