Plagiarism policy

Please check the tap Important Information before you hand out the assignments.

Subject Marks hand out hand in File          
Homework 0:
Prerequisites: Logics, Automata
10 March 2 March 9 pdf
Homework 1:
CTL, LTL, LTL Model Checking
20 March 9 March 23 pdf
Homework 2:
Spin, CTL Model Checking, Abstraction Refinement
25 March 30 April 13 pdf
SPIN code
Homework 3:
Static Analysis, Symbolic Model Checking
25 April 14 May 4 pdf
Homework 4:
Timed Automata, Uppaal
20 May 4 May 22 pdf
Test-Exam 2015
Test-Exam 2016
pdf
pdf


Copyright 2015—2017