Testing, Debugging, and Verification

TDA567/DIT082, LP2, HT2015


Why You Should Take This Course		read about high student ratings, state-of-art content, the teachers, the concept
News		sign up for the google group to receive news and communicate with other students.
This Course		course description
Lectures and Schedule		lecture notes, schedule, deadlines
Examination		exam and reexam info, example exams
Exercises		weekly exercises
Labs		lab assignments and exercises to hand-in
Course Evaluation		contact your student represenatives
Tools		information about the tools used in this course