703521 Model-Checking
summer semester 2011 | Last update: 09.05.2011 | Place course on memo list703521
Model-Checking
VO 2
4
weekly
annually
English
model-checking on-the-fly; the mu-calculus; S1S; model-checking of real-time systems; controlling the “state-space explosion” problem
written or oral, depending on number of participants
Christel Baier and Joost-Pieter Katoen, Principles of Model Checking, MIT Press, 2008
- Fakultät für Mathematik, Informatik und Physik
Group 0
|
||||
---|---|---|---|---|
Date | Time | Location | ||
Wed 2011-03-09
|
08.15 - 10.00 | HS 10 HS 10 | Barrier-free | |
Wed 2011-03-16
|
08.15 - 10.00 | HS 10 HS 10 | Barrier-free | |
Wed 2011-03-23
|
08.15 - 10.00 | HS 10 HS 10 | Barrier-free | |
Wed 2011-03-30
|
08.15 - 10.00 | HS 10 HS 10 | Barrier-free | |
Wed 2011-04-06
|
08.15 - 10.00 | HS 10 HS 10 | Barrier-free | |
Wed 2011-04-13
|
08.15 - 10.00 | HS 10 HS 10 | Barrier-free | |
Wed 2011-05-04
|
08.15 - 10.00 | HS 10 HS 10 | Barrier-free | |
Wed 2011-05-11
|
08.15 - 10.00 | HS 10 HS 10 | Barrier-free | |
Wed 2011-05-18
|
08.15 - 10.00 | HS 10 HS 10 | Barrier-free | |
Wed 2011-05-25
|
08.15 - 10.00 | HS 10 HS 10 | Barrier-free | |
Wed 2011-06-08
|
08.15 - 10.00 | HS 10 HS 10 | Barrier-free | |
Wed 2011-06-15
|
08.15 - 10.00 | HS 10 HS 10 | Barrier-free | |
Thu 2011-06-16
|
10.15 - 11.45 | HS 10 HS 10 | Barrier-free | |
Wed 2011-06-22
|
08.15 - 10.00 | HS 10 HS 10 | Barrier-free | |
Wed 2011-06-29
|
08.15 - 10.00 | HS 10 HS 10 | Barrier-free |