AdaCore: Build Software that Matters
AdaCore Hero Image
Oct 17, 2019 | Webinars

NVIDIA — Securing the Future of Safety and Security of Embedded Software

As software becomes more complex, the chances of human error greatly increase, opening up potential for security and safety risks. NVIDIA is working with AdaCore to implement Ada and SPARK programming languages into certain firmware elements to reduce this potential error. In this webinar you will learn how the combination of NVIDIA hardware with Ada and SPARK delivers robustness and security, improving efficiency and safety in the development pipeline.

View slides from the presentation at Slideshare.

Videos_

Latest Videos