AdaCore provides open source tools and expertise for the development of mission-critical, safety-critical, and security-critical software. AdaCore’s flagship products are the GNAT Pro Ada and SPARK Pro development environments, and the CodePeer automatic code reviewer and validator. Customers around the world, including major actors in the domains of commercial aircraft avionics, military systems, air traffic management/control, railroad systems, medical devices, and financial services, trust GNAT Pro and AdaCore.
AdaCore has North American headquarters in New York and European headquarters in Paris.
You can't create discussions here, but as discussions appear they might have answers you need.
As soon as people join and begin creating and sharing content, you'll begin seeing activity here. Create something now to get started!