The company offers verification and validation tools for real-time, distributed, embedded and mission critical software, taking advantage of abstract interpretation techniques and static analysis of for C, C++ and Java source code. [Commercial]