AdaCore is a technology company that provides commercial software solutions. Its products include GNAT Pro Enterprise, a development environment tool for producing software systems; GNAT Static Analysis suite, etc. The company also offers consulting, custom development, mentorship, and technical training services. AdaCore caters to avionics, space, medical, automotive, defense, and other sectors.