Hackernews posts about ISO-26262

1. Ada and SPARK enter the automotive ISO-26262 market with Nvidia (www.adacore.com)
   116 points by gneuromante 14 days ago | 111 comments
2. Nvidia ISO-26262 Spark Process (nvidia.github.io)
   1 points by todsacerdoti 13 days ago | discuss
3. Ask HN: New AI-Based Software Verification by Comparing Code vs. Requirements?
   2 points by axelr340 15 days ago | discuss