Next: Exercise 1: Engineering Process Up: Formal Specification and Verification Previous: The SMV-Model Checker Software Contents
The exercises enable the student to understand the subject matter better by actively rethinking the subject guided by some questions requiring a personal statement.