Founded in 1994, AdaCore supplies software development and verification tools for safety- and security-critical systems, including increasingly sophisticated automotive software such as ADAS or autonomous driving systems.
AdaCore solutions, including GNAT Pro and SPARK Pro, enable developers working on critical automotive applications to improve and streamline their development, verification, and ISO-26262 certification processes. Costs are mitigated by offering alternatives and complements to traditional C development and testing-based methods.
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.