Educational web pages of J.F. Groote

System Validation is available on Coursera. This a book supports this course. Note that passing this course on Coursera does not exempt from passing the course at TU/e.

Information on courses given by me can be found on Canvas.

• 2IMF30 System Validation (former course codes 2IW26, 2IW25).
• 2IC30 Computer Systems.
• 2IWAO Automotive Software Engineering.
• 2IMF05 Capita Selecta Formal System Analysis.