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 »