Anyone curious of its benefits can find them here: https://www.adacore.com/books... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

nickpsecurity on Dec 7, 2017 | parent | context | favorite | on: Safe Pointers in SPARK 2014

Anyone curious of its benefits can find them here:

https://www.adacore.com/books/safe-and-secure-software

Throw in a good article on top:

http://www.electronicdesign.com/embedded-revolution/assessin...

Join us for AI Startup School this June 16-17 in San Francisco!
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact