V3 Ã2, 6 ECTS - Fachgruppe Informatik an der RWTH Aachen
V3 Ã2, 6 ECTS - Fachgruppe Informatik an der RWTH Aachen
V3 Ã2, 6 ECTS - Fachgruppe Informatik an der RWTH Aachen
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
We will get known to<br />
algorithms <strong>an</strong>d tools<br />
for satisfiability checking<br />
<strong>an</strong>d motivate their usage<br />
in the context of<br />
program verification.<br />
SWS:<br />
<strong>V3</strong>+Ü1<br />
Times: Monday 15:30-17:00,<br />
Thursday 10:00-11:30 (both in 5056)<br />
Start: Oct 10, 2011<br />
Learning support: Book, lecture notes, slides, video recording<br />
Related: SAT seminar