Lectures

• Abstract Data Types

  Subject(s) 3. Abstract Data Types
  

• Coffee Machine Example

  Subject(s) 5. Coffee Machine Example
  

• Modal mu-Calculus

  Subject(s) 7. Modal mu-Calculus
  

• Model Examination with Solutions

  Subject(s) 8. Model Examination with Solutions
  

• Parallel Processes: Theory

  Subject(s) 6. Parallel Processes: Theory
  

• Sequential Processes: Theory

  Subject(s) 4. Sequential Processes: Theory
  

• Strong behavioral equivalences and Weak behavioral equivalences

  Subject(s) 2. Strong behavioral equivalences and Weak behavioral equivalences
  

• System Validation – An Introduction

  Subject(s) 1. System Validation – An Introduction
  

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