Mit semantischer Analyse zur schnelleren Markteinführung
Klassische Methoden für das Testen von Software verursachen in Unternehmen immer noch bis zu 70 Prozent der Gesamtkosten einer Softwareentwicklung. Immer öfter werden deswegen notwendige Tests auf Unit- oder Modulebene gestrichen. Ein in Deutschland noch weitgehend unbekanntes Tool zur statischen Verifikation von Software arbeitet nach dem Prinzip der abstrakten Interpretation und prüft Programme auf Laufzeitfehler in einem Bruchteil der Zeit, die andere Verfahren benötigen.
