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.

Creative Commons License
System Validation by TU Delft OpenCourseWare is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.
Based on a work at
Back to top