AdaCore

AdaCore is a computer software company that provides open source software 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. GNAT Pro, AdaCore's main product, is a commercial-grade open source Ada development that supports all Ada versions and includes professional consulting, training and maintenance services. All AdaCore software products are licensed either under the GPL or the GMGPL license. Special releases are made for academic use. The company was founded in 1994, and was originally named Ada Core Technologies. In 2004 it was rebranded to AdaCore. AdaCore is privately owned and has North American headquarters in New York and European headquarters in Paris.