-> news&events

cover
Dr. Fridtjof Siebert:
Hard Realtime Garbage Collection
aicas presents Veriflux – the comprehensive data flow analysis tool for Java
<next>  <prev>  <back>

11 February 2010

VeriFlux

aicas GmbH will introduce their brand new analysis tool for formal reviews of Java programs at the Embedded World trade fair in March. VeriFlux is an automatic static code analysis tool for use in complete applications, as well as custom program parts.

You can find more details in the corresponding press releases


Germanaicas präsentiert Veriflux - die umfassende Datenflussanalyse für Java
Englishaicas presents Veriflux – the comprehensive data flow analysis tool for Java
Francaisaicas présente Veriflux – un outil d'analyse de flux de données complet pour Java


<next>  <prev>  <back>