Get the latest tech news
Ada and SPARK enter the automotive ISO-26262 market with Nvidia
AdaCore is the leading provider of commercial software solutions for Ada, C and C++ — helping developers build safe and secure software that matters.
This required establishing a development process that takes advantage of formal methods and other safety characteristics of Ada and SPARK, thus fully leveraging their capabilities. AdaCore and NVIDIA have decided to publish this reference process freely as an open-source and evolving document, allowing the industry at large to adopt Ada and SPARK. “NVIDIA demonstrates truly remarkable technical leadership in the domain by introducing Ada and SPARK into its development process and allowing the rest of the community to follow its path.”
Or read this on Hacker News
