aicas präsentiert Veriflux - die umfassende Datenflussanalyse für Java

(pressebox) Karlsruhe, 11.02.2010 - Erstmals zur Embedded World wird die aicas GmbH ein vollständig neues Analysewerkzeug für die formale Überprüfung von Java-Programmen vorstellen. VeriFlux bietet eine vollautomatische, statische Code-Analyse sowohl für vollständige Applikationen, als auch für frei […] mehr