System Validation – Exercises
Course subject(s)
1. System Validation – An Introduction
2. Strong behavioral equivalences and Weak behavioral equivalences
3. Abstract Data Types
4. Sequential Processes: Theory
5. Coffee Machine Example
6. Parallel Processes: Theory
7. Modal mu-Calculus
8. Model Examination with Solutions
The projects assignment is to design a controller for a small distributed and/or embedded system. A full project description can be downloaded from the link below.
Example reports from the last year’s project can be downloaded from here:
System Validation by TU Delft OpenCourseWare is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.
Based on a work at https://ocw.tudelft.nl/courses/system-validation/.