Leveraging SPARK and Ada in Cutting-Edge Auto Systems

With security always of paramount concern, NVIDIA is working with AdaCore to take advantage of SPARK and Ada in its automotive platforms.

from Electronic Design - Engineering Essentials Curated By Experts http://bit.ly/2S0Qk7g