Conditional Remix & Share Permitted
CC BY-NC-SA
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.
- Subject:
- Applied Science
- Computer Science
- Engineering
- Material Type:
- Full Course
- Provider:
- Delft University of Technology
- Provider Set:
- Delft University OpenCourseWare
- Author:
- Dr. M. Mousavi
- Date Added:
- 02/05/2016