System Validation (IN4387)

3TU Masters Program in Embedded Systems TU Delft

The purpose of this course is to learn how to specify the behaviour of embedded systems and to experience the design of a provably correct system. In this course you will learn how to formally specify requirements and to prove (or disprove) them on the behaviour. With a practical assignment you will experience how to apply the techniques in practice.

Due to popular demand by last year’s students, I will use Blackboard to post all the materials and information for this year’s course. Please enrol for the course on Blackboard, and register yourself in a project group.

Older versions of this course

One thought on “System Validation (IN4387)

Comments are closed.