Model Checking

Semester:	Sommersemester 2018
Veranstalter:	Prof. Katoen
Bemerkungen:	Kursseite vom Lehrstuhl Aufzeichnung und Schnitt: Christoph Rackwitz

Videos

- 1: Introduction
- Fr, 13.04.2018, 10:15 Uhr
- 2: Transition systems
- Fr, 20.04.2018, 10:15 Uhr
- Transition systems
- 3: Concurrency
- Di, 24.04.2018, 08:30 Uhr
- 4: Channel systems
- Fr, 27.04.2018, 10:15 Uhr
- 5: Linear-time properties
- Gehalten von Christian Hensel
- Fr, 04.05.2018, 10:15 Uhr
- 6: Liveness and fairness
- Gehalten von Christian Hensel
- Di, 08.05.2018, 08:30 Uhr
- 7: Fairness
- Fr, 11.05.2018, 10:15 Uhr
- 8: Verifying regular safety properties
- Di, 15.05.2018, 08:30 Uhr
- 9: Büchi automata (1)
- Fr, 18.05.2018, 10:15 Uhr
- 10: Büchi automata (2)
- Gehalten von Christian Hensel
- Di, 29.05.2018, 08:30 Uhr
- 11: Verifying omega-regular properties
- Fr, 01.06.2018, 10:15 Uhr
- 12: Linear temporal logic
- Di, 05.06.2018, 08:30 Uhr
- 13: Expansion law, fairness, PNF
- Fr, 08.06.2018, 10:15 Uhr
- 14: LTL model checking (1)
- Di, 12.06.2018, 08:30 Uhr
- 15: LTL model checking (2)
- Fr, 15.06.2018, 10:15 Uhr
- 16: Complexity of LTL model checking
- Di, 19.06.2018, 08:30 Uhr
- 17: Computation tree logic
- Fr, 22.06.2018, 10:15 Uhr
- 18: LTL versus CTL
- Di, 26.06.2018, 08:30 Uhr
- 19: CTL model checking
- Fr, 29.06.2018, 10:15 Uhr
- 20: CTL and fairness
- Di, 03.07.2018, 08:30 Uhr
- 21: CTL+ and CTL*
- Fr, 06.07.2018, 10:15 Uhr
- 22: Bisimulation and CTL* equivalence
- Di, 10.07.2018, 08:30 Uhr
- Upcoming Lectures