Adacore

Company Profile

Contact Information

Website: www.adacore.com

Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical, and security-critical systems. Our flagship GNAT Pro development environment supports Ada, C and C++ and is ideal for applications that demand high reliability and maintainability. AdaCore has a long and successful history supplying products to the avionics community, including several tools and run-time libraries that have been used in systems certified at the highest levels of DO-178B/C (ED-12B/C).

Products/Services: FACE