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
