System Validation

The purpose of this course is to learn how to specify the behavior 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.

Begin Course

University

TU Delft

Professor

Mohammad Mousavi

Lectures

10 Lectures

University

TU Delft

Professor

Mohammad Mousavi

Lectures

10 Lectures