Verisoft ist ein langfristig angelegtes Forschungsprojekt, das vom Bundesministerium für Bildung und Forschung (bmb+f) gefördert wird. Ehrgeiziges Projektziel ist die durchgängige, formale Verifikation von Computersystemen: die korrekte Funktionsweise von Systemen, wie sie beispielsweise im Automobilbau, in der Sicherheitstechnologie und auf dem medizinisch-technischen Sektor zum Einsatz kommen, soll mathematisch bewiesen werden. Die Verifikation beschränkt sich hier nicht auf die Anwendungsebene, sondern das komplette System soll über alle Abstraktionsebenenen hinweg bis hinunter zur Hardware formal verifiziert werden.

Im Teilprojekt Automotive, welches sich mit einem innovativen Stuergerät auseinandersetzt, trägt OFFIS zur formalen Verifikation eines FlexRay Bussystems bei.