Press Release
Apr 23 '13
TOYOTA ITC Japan Selects SPARK Pro Language and Toolset for High-Reliability Research Project
Posted by AdaCore
TOYOTA InfoTechnology Center Japan has selected the SPARK language and SPARK Pro toolset for a high-reliability software research project. The goal of the project is to show that software requirements can be transformed into an implementation that can be proven to be free of run-time errors. This will have the key advantage of providing ultra-low-defect software for higher reliability in a vehicle component.
