Accelerating the Industrial Internet of Things
Log In
Aicas Software VeriFlux
Edit This Software Record

VeriFlux

Aicas
VeriFlux
IoT Application
 Open website
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.
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.
Read More
Download PDF Version
test test