703503 Introduction to Model Checking
winter semester 2011/2012 | Last update: 23.02.2012 | Place course on memo list703503
Introduction to Model Checking
VO 1
2
not applicable
not applicable
English
Students who have completed this module should understand the topics covered in the
lectures, and be able to express and apply them. They should be able to independently
acquire similar knowledge and have a basic understanding of specification and
verification methods.
specification of system behavior; Promela; specification of system properties in
LTL/CTL; Büchi automata; model-checking algorithms
written exam
- Fakultät für Mathematik, Informatik und Physik
|
Group 0
|
||||
|---|---|---|---|---|
| Date | Time | Location | ||
|
Wed 2011-10-12
|
14.15 - 16.00 | HS D (Technik) HS D (Technik) | Barrier-free | |
|
Wed 2011-10-19
|
14.15 - 16.00 | HS D (Technik) HS D (Technik) | Barrier-free | |
|
Wed 2011-11-09
|
14.15 - 16.00 | HS D (Technik) HS D (Technik) | Barrier-free | |
|
Wed 2011-11-16
|
14.15 - 16.00 | HS D (Technik) HS D (Technik) | Barrier-free | |
|
Wed 2011-11-23
|
14.15 - 16.00 | HS D (Technik) HS D (Technik) | Barrier-free | |
|
Wed 2011-11-30
|
14.15 - 16.00 | HS D (Technik) HS D (Technik) | Barrier-free | |
|
Wed 2011-12-07
|
14.15 - 16.00 | HS D (Technik) HS D (Technik) | Barrier-free | |
|
Wed 2011-12-14
|
11.00 - 12.30 | HSB 3 HSB 3 | Barrier-free | 1.Prüfung |
|
Wed 2011-12-14
|
14.15 - 16.00 | HS D (Technik) HS D (Technik) | Barrier-free | |
|
Tue 2012-03-27
|
08.30 - 10.00 | HSB 3 HSB 3 | Barrier-free | 2.Prüfung |