703521 Model-Checking

summer semester 2011 | Last update: 09.05.2011 Place course on memo list
703521
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
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