Выпусков: 10

System Validation Delft University of Technology

- Образование

Delft University of Technology on iTunes

- 23 ОКТ. 2012 Г.
- video
System Validation: 10. Model Exam

System Validation: 10. Model Exam

IN4387. 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.
- 49 мин.
- 16 ОКТ. 2012 Г.
- video
System Validation: 9. Modal mu-Calculus

System Validation: 9. Modal mu-Calculus

IN4387. 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.
- 1 ч. 19 мин.
- 9 ОКТ. 2012 Г.
- video
System Validation: 8. Parallel Processes: Theory part 2

System Validation: 8. Parallel Processes: Theory part 2

IN4387. 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.
- 1 ч. 26 мин.
- 3 ОКТ. 2012 Г.
- video
System Validation: 7. Parallel Processes: Theory part 1

System Validation: 7. Parallel Processes: Theory part 1

IN4387. 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.
- 16 мин.
- 3 ОКТ. 2012 Г.
- video
System Validation: 6. Coffee Machine Example

System Validation: 6. Coffee Machine Example

IN4387. 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.
- 1 ч. 4 мин.
- 26 СЕНТ. 2012 Г.
- video
System Validation: 5. Abstract Data Types part 2

System Validation: 5. Abstract Data Types part 2

IN4387. 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.
- 11 мин.