TOYOTA ITC

High-Reliability Vehicle Component Research Project

TOYOTA InfoTechnology Center (ITC) Japan selected the SPARK language and SPARK Pro toolset for a research project to develop a vehicle component implementation that can be proven to be free of run-time errors.

Read the Press Release »



Last Updated: 10/2/2017
Posted on: 4/23/2013