Verifix - The Gaul, Checking
for Trustworthiness Verifix - Correct Compilers
  The main topic of the VERIFIX project is the verification, correct construction and implementation of compilers and their binary executables. This includes both the development of mathematical and formal methods for specification and implementation of compilers, and also the correct implementation of concrete compiler executables, development tools and compiler generators. The project is funded by the Deutsche Forschungsgemeinschaft  since 1995.

Short Description Verifix-Homepage
   
Staff at Kiel

Wolfgang Goerigk 
Klaus Höppner
Hans Langmaack
Andreas Wolf
Moritz Zahorsky
 
 

Project Partners       

Institut für Programmstrukturen und Datenorganisation Universität Karlsruhe
Institut für Informatik und Praktische Mathematik Christian-Albrechts-Universität zu Kiel
Abteilung Künstliche Intelligenz Universität Ulm