"Obwohl VeriFlux von vornherein für sicherheitskritische Anwendungen konzeptioniert wurde, kann auch die Entwicklung von 'normalen' Java-Anwendungen davon profitieren." sagt Dr. James Hunt, Geschäftsführer der aicas GmbH: " Eine frühe Fehlerbeseitigung bedeutet weniger aufwändige Fehler und Tests, und führt zu einer drastischen Reduzierung von Entwicklungskosten".
Um sich persönlich von den Neuerungen zu überzeugen, bietet aicas allen Interessenten die Möglichkeit einer kostenlosen Evaluierung.