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 SR12Do not forget to register if you want to participate. Do not register (or unregister) if you do not want to participate.