TU-Automotive Detroit is part of the Informa Tech Division of Informa PLC

This site is operated by a business or businesses owned by Informa PLC and all copyright resides with them. Informa PLC's registered office is 5 Howick Place, London SW1P 1WG. Registered in England and Wales. Number 3099067.




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.