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