Verification using Model Checking

VU 3   SS 2007   LVA 703800

Schedule

June 28

Discussion of practice exam, questions and time permitting an introduction to the modal μ-calculus.

Juli 05

First opportinity for final exam, 9:00-11:00 SR12
Do not forget to register if you want to participate. Do not register (or unregister) if you do not want to participate.

August 21

Second opportinity for final exam, 9:30-12:00 SR 12.