Research Group Verification Meets Algorithm Engineering

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 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)

Related searches:
written research algorithm workshop stephan

gipoco.com is neither affiliated with the authors of this page or responsible
for its contents. This is a safe-cache copy of the original web site.

gipoco.com is neither affiliated with the authors of this page nor responsible for its contents. This is a safe-cache copy of the original web site.