Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical, and security-critical systems. Over the years, customers have used AdaCore products to field and maintain various critical applications in domains such as commercial and government systems, railway, space, automotive, security systems, air traffic management/control, medical devices, and financial services. AdaCore products are open source and come with expert online support provided by the developers themselves. The company has North American headquarters in New York and European headquarters in Paris. Learn more at www.adacore.com.