AdaCore provides open source tools and expertise for the development of 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 and validator. The GNAT Pro development environment includes all tools (code coverage and profiling, code standard checker, documentation generator, source code metrics, etc.) necessary for building robust and reliable applications. Ada and GNAT Pro see a growing usage in high-integrity and safety-certified applications, including commercial aircraft avionics, military systems, air traffic management/control, railway systems and medical devices, and in security-sensitive domains such as financial services.

http://www.adacore.com/