Hacker News new | ask | show | jobs
Nvdia using SPARK for safety-critical firmware (adacore.com)
3 points by c2the3rd 368 days ago