Home
Ada Advantages
Learn Ada
Resources
ARA Community
Site Map
|
Contact Us
Ada Resource Association
News and resource for the Ada programming language
Press Release
Feb 5 '19
AdaCore Enhances Security-Critical Firmware with NVIDIA
Posted by
AdaCore
AdaCore is working with NVIDIA to implement Ada and SPARK programming languages for select security-critical firmware used for applications that demand stringent safety and security capabilities, like automated and autonomous driving.
Share and Enjoy:
Press
Articles
Events
ARA Sponsor Spotlight
View All Sponsors
Upcoming Events
Ada-Europe 2024
Jun 11-14, 2024
Barcelona, Spain
View All Events