SPARK Pro provides the foremost language, toolset and design discipline for the engineering of high-assurance software. It combines the renowned SPARK language and verification tools from Altran Praxis with the GNAT Programming Studio (GPS) development environment from AdaCore.
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. It provides support for a number of commercial RTOSes and bare board configurations. Customers around the world, including major actors in the embedded world, trust GNAT Pro and AdaCore. See www.adacore.com for further information.