Welcome to the Web Server of the Research Group Verification Meets Algorithm Engineering
Institute for Theoretical Computer Science – Karlsruhe Institute of Technology (KIT)
Events organized by members of our group
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