Securing the Future of Autonomous Driving with Adacore | NVIDIA Blog - discu.eu

Reddit

Rust for safety and security critical software ala Ada/Spark in the present https://blogs.nvidia.com/blog/2019/02/05/adacore-secure-autonomous-driving/ 23 comments 15/2/2019 rust

NVIDIA works with AdaCore to leverage Ada and SPARK programming languages for software security https://blogs.nvidia.com/blog/2019/02/05/adacore-secure-autonomous-driving/ 96 comments 5/2/2019 programming

Linking pages

Witnessing the Emergence of a New Ada Era | The AdaCore Blog https://blog.adacore.com/the-emergence-of-a-new-ada-era 5 comments
NVIDIA is joining the Ada and SPARK adopter wave | The AdaCore Blog https://blog.adacore.com/nvidia-blogpost-announcement 0 comments

Would you like to stay up to date with Rust? Checkout Rust Weekly.

Related searches:

Search whole site: site:blogs.nvidia.com

Search title: Securing the Future of Autonomous Driving with Adacore | NVIDIA Blog

See how to search.

Submit link to: