Hackernews posts about ISO-26262

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