KOMFORT
This project was funded by the German Research Counsil (DFG)
Work Program
Our responsibilities in this project include: Combination of formal and semiformal techniques for verification of C/C++-based system descriptions.FEST
FEST (Funktionale Verifikation von Systemen)
This project was funded by edacentrum and German Federal Ministry of Education, Science, Research and Technology (BMBF)