aicas presents Veriflux – the comprehensive data flow analysis tool for Java

<next>  <prev>  <back>

11-Feb-10

aicas presents Veriflux – the comprehensive data flow analysis tool for Java

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. Nothing needs to be changed in the application to carry out the analysis. Error sources such as run-time errors or thread-related errors are highlighted in the source code. “VeriFlux was originally developed for safety critical applications, however ordinary Java applications can profit from it as well”, explains Dr. James J. Hunt, CEO of aicas GmbH. “Early detection of bugs at the source code level reduces the need for dynamic testing, and helps prevent bugs from making it into the field, resulting in a substantial reduction in development costs and time.” To try VeriFlux first hand, please apply for a free evaluation version at http://www.aicas.com/downloads.html.

About aicas (www.aicas.com)

aicas is a leading vendor of hard realtime capable Java Virtual Machines for embedded applications. In addition, the company provides analysis and optimization tools that help developers improve application quality. aicas provides customization services for JamaicaVM in order to meet the needs of its customers, especially in connection with various target environments. JamaicaVM is unique in its market segment: it is the only Java implementation with a full deterministic Garbage Collector for hard realtime applications. aicas serves the aerospace, industrial control, instrumentation, and automotive markets. Its customer list includes Boeing, EADS Astrium, EADS Military Air Systems, Honeywell, and Siemens. The company's headquarters are in Karlsruhe, Germany, with subsidiary offices in the USA, France and Japan. In addition, aicas has reseller relationships with a group of highly qualified companies in Europe and Asia.

Further Information

Following Information is available online:

Press releases: http://www.aicas.com/press.html
Press images: http://www.aicas.com/images.html