Research Group Verification Meets Algorithm Engineering - KIT

Welcome to the Web Server of the Research Group Verification Meets Algorithm Engineering

Institute for Theoretical Computer Science – Karlsruhe Institute of Technology (KIT)

(Please also visit the main web page of our group at http://verialg.iti.kit.edu.)

Events organized by members of our group

SAT-Race 2008 (in affiliation with SAT'08)
SAT-Race 2010 (in affiliation with FLoC/SAT'10)
Workshop on Propositional Proof Complexity (in affiliation with FLoC/SAT'10)
SPA 2011: SAT for Practical Applications (in affiliation with SAT'11)
Symposium on 75 Years of Turing Machine and Lambda-Calculus
Deduktionstreffen 2011
SAT Challenge 2012 (in affiliation with SAT'12)
Joint SVARM & VERIFY Workshop 2012 (in affiliation with IJCAR'12)

Software developed in our group

LLBMC: A tool for finding bugs in C programs (written by Florian Merz, Stephan Falke, and Carsten Sinz)
KITTeL: A termination prover for C programs (written by Stephan Falke)
RViewer: A tool to analyze restart-strategies in DPLL-style SAT solvers (written by Markus Iser)

© 2009-2011 Research Group Verification meets Algorithm Engineering, KIT, Germany