703503 Introduction to Model Checking

winter semester 2007/2008 | Last update: 31.01.2008 Place course on memo list
703503
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
not applicable
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