System Validation

By Technology Education

System Validation episodes

October 24, 2012 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.
50 min
October 17, 2012 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 hr 20 min
October 10, 2012 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 hr 27 min
October 03, 2012 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.
17 min
October 03, 2012 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 hr 5 min
September 26, 2012 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.
12 min
September 26, 2012 System Validation: 4. Sequential Processes
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 hr 13 min
September 19, 2012 System Validation: 3. Weak behavioral equivalences 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.
31 min
September 19, 2012 System Validation: 2. Abstract Data Types 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.
48 min
September 12, 2012 System Validation: 1. Strong Behavioral equivalences and Weak behavioral equivalences 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.
0 min