Plagiarism policy

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


The dates below are estimates. They may change as the lecture progresses. The final dates are announced in the lecture. The hand-in dates are clearly stated on the pdfs.

Subject Marks hand out hand in File          
Homework 0:
Prerequisites: Logics, Automata
12 28/02 12/03 pdf
Homework 1:
LTL, CTL, CTL Model Checking, Büchi Automata
22 12/03 26/03 pdf
Homework 2
LTL, Büchi Automata, Spin
22 26/03 16/04 pdf
Homework 3
Abstraction/Refinement, Static Analysis, BDDs, Fixed Points
22 16/04
07/05
pdf
Homework 4
Boundend Model Checking, Timed Automata, Region Graph, Uppaal (by example)
22 09/05
23/05
pdf
Test-Exam 2016
Test-Exam 2017
pdf
pdf


Copyright 2015—2018