Seminar on Logics and Verification 2014This semester we have had a seminar on topics from the field of logics and their application to the verification of systems. The students have prepared papers about their topics and they have given a presentation. Below, you can find the papers and slides.
|Albert Schimpf||Modern SAT Solvers||paper||slides|
|Sebastian Henningsen, Manuel Hoffmann||Bounded Model Checking||paper||slides|
|Martin Köhler||Theory Solvers||paper||slides|
|Jonathan Kolberg||Combination of Theories (Nelson-Oppen)||paper||slides|
|Viktor Barie||Verification Condition Generation||paper||slides|
|Daniel Paqué||From Symbolic Execution to Concolic Testing||paper||slides|