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