Course -
System Validation

Graduation hats
Course Level: Master

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.

Prerequisites
  • - Masters Embedded Systems

Facebook, Twitter, Google+ logos