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