System Validation
Delft University of TechnologyNetherlands
Free, no sign-up neededArchived courseEnglish
About this course
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.
Description from TU Delft OpenCourseWare.
Where to take this course
- Open TU Delft OpenCourseWare (new tab)TU Delft OpenCourseWare · Archived course