Institute of

Theoretical Computer Science


Technische Universität Braunschweig

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