en
|
de
Department of Computer Science
University of Innsbruck
Home
Research
Teaching
Members
Events
News
Teaching
lectures
bachelor projects
master projects
software
Introduction to Model Checking
introduction
news
exercises
feedback
lecturers
time & place
schedule
evaluation
Introduction to Model Checking
master program
VO1 WS 2009/2010
703503
Exercises
There is a collection of
exercises
. Try to solve these exercises on your own or within a small group to practice your skills. Presenting a solution during the exercise-lectures will be awarded with extra points for the final exam.