ABOUT BOOK

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