intro.pptx	4.7 MB	02.03.2015 15:46	Introduction/Einleitung Overview/Übersicht
P OK: intro.pdf	6.7 MB	04.03.2015 20:10	Introduction (PDF format)
P OK: bugs.pdf	2.2 MB	05.03.2015 15:35	What are bugs?
P OK: assertions.pdf	1.0 MB	10.03.2015 15:49	Assertions
P OK: testing.pdf	757 KB	18.03.2015 18:53	Testing (updated)
TODO: assignment1.pdf	93 KB	25.03.2015 12:41	First assignment
P OK? coverage.pdf	312 KB	25.03.2015 15:18	Coverage Metrics
OK: assignment2.pdf	134 KB	14.04.2015 20:05	Second assignment
P looked over: tcg.pdf	589 KB	14.04.2015 20:48	Test Case Generation
OK: assignment3.pdf	137 KB	16.04.2015 19:34	Assignment 3 (corrected version!)
OK? exercises.pdf	383 KB	21.04.2015 12:51	Exercises (including solution for Assignment 1) (updated!)
SKIP: coverage_exercise.pdf	70 KB	15.04.2015 20:43	Coverage exercise (from last year)
SKIP: assignment_latex.zip	5 KB	18.04.2015 19:33	LaTeX sources for assignments 2 & 3
P psv-logic.pdf	788 KB	29.04.2015 20:04	Propositional Logic [not him]
P fol.pdf	274 KB	05.05.2015 17:09	First Order Logic [not him]
P satsolve-tiss.pdf	276 KB	05.05.2015 17:10	SAT Solving [not him]
P smtsolve.pdf	148 KB	12.05.2015 19:32	SMT Solvers [not him]
assignment4.pdf	146 KB	13.05.2015 13:41	Assignment 4: Propositional logic / SAT
assignment5.pdf	122 KB	13.05.2015 13:42	Assignment 5: SMT
P OK? smv.pdf	110 KB	21.05.2015 10:16	SMV
P OK? symbolic-mc.pdf	172 KB	21.05.2015 10:16	Symbolic Model Checking
P OK? alecture2.pdf	334 KB	21.05.2015 10:18	Temporal Logic
P hoare.pdf	647 KB	26.05.2015 18:46	Hoare Logic
assignment7.pdf	87 KB	26.05.2015 19:25	Hoare Logic assignment
assignment6.pdf	91 KB	28.05.2015 18:38	Temporal Logic Assignment
OK: assignment2_solution.pdf	137 KB	02.06.2015 13:58	Solution of assignment 2
OK: assignment3_solution.pdf	139 KB	03.06.2015 19:07	Solution of Assignment 3 (corrected!)
P OK? concurrency.pdf	489 KB	03.06.2015 15:15	Concurrent programs
exam2013.pdf	177 KB	07.06.2015 05:29	Exam 2013
exam2014.pdf	191 KB	07.06.2015 05:29	Exam 2014
hoare-solution.pdf	130 KB	12.06.2015 20:37	Solution for Hoare assignment
exam.pdf	235 KB	23.06.2015 18:34	Exam 2015 (updated!)