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.