703521 Model-Checking

summer semester 2008 | Last update: 25.08.2008 Place course on memo list
Department of Computer Science Department of Computer Science
assoz. Prof. Dr. René Thiemann assoz. Prof. Dr. René Thiemann, +43 512 507 53234
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
Christel Baier and Joost-Pieter Katoen, Principles of Model Checking, MIT Press, 2008
required for subscription is a positive result of module 1 specification and verification.
Group 0
Export course dates of this group as iCalendar (.ics)
Help
Date Time Location
Tue 2008-03-04
 09.00 - 11.00 HS 10 HS 10 Barrier-free
Thu 2008-03-06
 12.00 - 14.00 HS 10 HS 10 Barrier-free
Tue 2008-03-11
 09.00 - 11.00 HS 10 HS 10 Barrier-free
Thu 2008-03-13
 12.00 - 14.00 HS 10 HS 10 Barrier-free
Tue 2008-04-01
 09.00 - 11.00 HS 10 HS 10 Barrier-free
Thu 2008-04-03
 12.00 - 14.00 HS 10 HS 10 Barrier-free
Tue 2008-04-08
 09.00 - 11.00 HS 10 HS 10 Barrier-free
Thu 2008-04-10
 12.00 - 14.00 HS 10 HS 10 Barrier-free
Tue 2008-04-15
 09.00 - 11.00 HS 10 HS 10 Barrier-free
Thu 2008-04-17
 12.00 - 14.00 HS 10 HS 10 Barrier-free
Tue 2008-04-22
 09.00 - 11.00 HS 10 HS 10 Barrier-free
Thu 2008-04-24
 12.00 - 14.00 HS 10 HS 10 Barrier-free
Tue 2008-04-29
 09.00 - 11.00 HS 10 HS 10 Barrier-free
Tue 2008-05-06
 09.00 - 11.00 HS 10 HS 10 Barrier-free
Thu 2008-05-08
 12.00 - 14.00 HS 10 HS 10 Barrier-free
Thu 2008-05-15
 12.00 - 14.00 HS 10 HS 10 Barrier-free
Tue 2008-05-20
 09.00 - 11.00 HS 10 HS 10 Barrier-free
Tue 2008-05-27
 09.00 - 11.00 HS 10 HS 10 Barrier-free
Thu 2008-05-29
 12.00 - 14.00 HS 10 HS 10 Barrier-free
Tue 2008-06-03
 09.00 - 11.00 HS 10 HS 10 Barrier-free
Thu 2008-06-05
 12.00 - 14.00 HS 10 HS 10 Barrier-free
Tue 2008-06-10
 09.00 - 11.00 HS 10 HS 10 Barrier-free
Thu 2008-06-12
 12.00 - 14.00 HS 10 HS 10 Barrier-free
Tue 2008-06-17
 09.00 - 11.00 HS 10 HS 10 Barrier-free
Thu 2008-06-19
 12.00 - 14.00 HS 10 HS 10 Barrier-free
Tue 2008-06-24
 09.00 - 11.00 HS 10 HS 10 Barrier-free
Thu 2008-06-26
 12.00 - 14.00 HS 10 HS 10 Barrier-free
Tue 2008-07-01
 09.00 - 11.00 HS 10 HS 10 Barrier-free
Thu 2008-07-03
 12.00 - 14.00 HS 10 HS 10 Barrier-free
Tue 2008-07-29
 09.00 - 11.00 HS 10 HS 10 Barrier-free 2. Klausur
Tue 2008-10-07
 14.00 - 16.00 HS 10 HS 10 Barrier-free 3. Prüfung