AdaCore

At the beginning, AdaCore was the company behind GNAT, GCC’s Ada front-end. We’ve built a whole ecosystem (formal proof tooling, static analyzers, fuzzers, coverage tools, build tools, IDEs…) for the Ada language and are now aiming to become the “one-stop shop” of the embedded safety-critical world. For over 30 years, we've worked with global leaders across avionics, aerospace, defense, air traffic management, space, railway, automotive, medical, energy, and IoT industries, building tools and providing services that ease the complex and difficult process of developing high-integrity software.