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 2023
Jun 13-16, 2023
Lisbon, Portugal
View All Events