Readings

• System Validation – Readings

  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
  

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/.