AdaCore

Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical, and security-critical systems.  Our products include the GNAT Pro Ada, C and C++ software development environments, the CWE-compatible CodePeer deep static analysis tool for Ada, the SPARK Pro formal methods-based verification environment, and the QGen qualifiable code generator and debugger for a safe subset of Simulink/Stateflow models.  All products come with expert and timely support provided by the developers themselves and are available across a wide range of native and embedded target configurations.