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

Software developed in our group

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