The MathWorks, Inc.
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 Ada source code. [Commercial]