AdaCore

AdaCore provides open-source tools and expertise for developing mission-critical, safety-critical, and security-critical software. AdaCore’s flagship products are the GNAT Pro and SPARK Pro development environments and the CodePeer automatic code reviewer / validator. 
GNAT Pro comes with a comprehensive toolset including a graphical IDE, a visual debugger, a code coverage analyzer and profiler, a coding standard checker, a documentation generator, and a unit test harness generator. It handles multiple languages, supporting all versions of the Ada standard (including the upcoming Ada 2012) as well as C and C++.