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.
There are no discussions here currently, but as they appear they might have answers you need.