Department of Computer Science
University of Innsbruck
Home Research Teaching Members Events News
Teaching
lectures bachelor projects master projects

Verification using Model Checking

VU 3   WS 2005/06   LVA 703800

Introduction  |  Lecturers  |  Time & Place  |  Schedule  |  Course Material  |  Evaluation  |  Registration

Schedule

October 4
  • 12:00-13:00, SR 12: Opening session to deal with practical matters. Short introduction to the topic.
  • 15:00-17:00, RR 14: skipped
October 11   Start of the real lectures.