Funktionale Verifikation von Systemen (FEST)

Das Projekt funktionale Verifikation von Systemen (FEST) ist ein Clusterforschungsprojekt des edacentrums. Das Projekt wird an an sechs deutschen Universitäten verteilt bearbeitet.