Introduction to Model Checking
| Semester: | Wintersemester 2011/12 |
| Veranstalter: | Prof. Katoen
|
| Bemerkungen: | Seite im CAMPUS
|
-
-
Motivation, Background and Course Organization
- Mo, 10.10.2011, 13:15 Uhr
-
-
Transition systems, Programm graphs
- Mo, 17.10.2011, 13:15 Uhr
-
-
Examples: Program graphs, Transition systems
Modelling Parallel Systems
- Di, 18.10.2011, 14:00 Uhr
-
-
Parallelism and Communication
Channel Systems and examples
- Mo, 24.10.2011, 13:15 Uhr
-
-
Linear Time Properties
- Di, 25.10.2011, 14:00 Uhr
-
-
Invariants and Safety Properties
- Mo, 07.11.2011, 13:15 Uhr
-
-
Lifeness Properties, Fairness
- Di, 08.11.2011, 14:00 Uhr
-
-
Fairness, Regular Properties
- Mo, 14.11.2011, 13:15 Uhr
-
-
Regular Properties, Omega-Regular Properties
- Di, 15.11.2011, 14:00 Uhr
-
-
Omega-Regular Languages and Properties
- Mo, 21.11.2011, 13:15 Uhr
-
-
Closure Properties of Omega-Regular Languages
Model Checking Omega-Regular Properties
- Di, 22.11.2011, 14:00 Uhr
-
-
- Di, 29.11.2011, 14:00 Uhr
-
-
- Mo, 05.12.2011, 13:15 Uhr
-
-
- Di, 06.12.2011, 14:00 Uhr
-
-
- Mo, 19.12.2011, 13:15 Uhr
-
-
- Mo, 09.01.2012, 13:15 Uhr
-
-
- Di, 10.01.2012, 14:00 Uhr
-
-
- Mo, 16.01.2012, 13:15 Uhr
-
-
- Di, 17.01.2012, 14:00 Uhr
-
-
- Mo, 23.01.2012, 13:15 Uhr
-
-
- Di, 24.01.2012, 14:00 Uhr
-
-
- Mo, 30.01.2012, 13:15 Uhr
-
-
- Mi, 01.02.2012, 15:45 Uhr