Automotive Research Project

AdaCore and the University of Nagasaki successfully completed a joint research project for DENSO, Application of Formal Methods to Help Achieve Freedom from Interference, with the goal of simplifying the development of safety-critical automotive applications in an ISO 26262 context.

Read the Press Release »

Last Updated: 1/24/2018
Posted on: 1/24/2018