Seminar on Logics and Verification 2014
This 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.| Author | Topic | ||
|---|---|---|---|
| Albert Schimpf | Modern SAT Solvers | paper | slides |
| Sebastian Henningsen, Manuel Hoffmann | Bounded Model Checking | paper | slides |
| Sebastian Wolff | IC3 | 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 |