703503 Introduction to Model Checking
winter semester 2007/2008 | Last update: 31.01.2008 | Place course on memo list703503
Introduction to Model Checking
VO 1
2
weekly
annually
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
- Fakultät für Mathematik, Informatik und Physik
|
Group 0
|
||||
|---|---|---|---|---|
| Date | Time | Location | ||
|
Mon 2007-10-08
|
13.15 - 14.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2007-10-15
|
13.15 - 14.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2007-10-22
|
13.15 - 14.00 | HS C (Technik) HS C (Technik) | Barrier-free | |
|
Mon 2007-10-29
|
13.15 - 14.00 | HS C (Technik) HS C (Technik) | Barrier-free | |
|
Mon 2007-11-05
|
13.15 - 14.00 | HS C (Technik) HS C (Technik) | Barrier-free | |
|
Mon 2007-11-12
|
13.15 - 14.00 | HS C (Technik) HS C (Technik) | Barrier-free | |
|
Mon 2007-11-19
|
13.15 - 14.00 | HS C (Technik) HS C (Technik) | Barrier-free | |
|
Mon 2007-11-26
|
13.15 - 14.00 | HS C (Technik) HS C (Technik) | Barrier-free | |
|
Mon 2007-12-03
|
13.15 - 14.00 | HS C (Technik) HS C (Technik) | Barrier-free | |
|
Mon 2007-12-10
|
13.15 - 14.00 | HS C (Technik) HS C (Technik) | Barrier-free | |
|
Mon 2008-01-07
|
13.15 - 14.00 | HS C (Technik) HS C (Technik) | Barrier-free | |
|
Mon 2008-01-14
|
13.15 - 14.00 | HS C (Technik) HS C (Technik) | Barrier-free | |
|
Mon 2008-01-21
|
13.15 - 14.00 | HS C (Technik) HS C (Technik) | Barrier-free | |
|
Mon 2008-01-28
|
13.00 - 15.00 | HS A (Technik) HS A (Technik) | Barrier-free | |
|
Mon 2008-02-25
|
13.00 - 15.00 | HS A (Technik) HS A (Technik) | Barrier-free | Klausur |