703503 Introduction to Model Checking

winter semester 2011/2012 | Last update: 23.02.2012 Place course on memo list
703503
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
not applicable
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