Hackernews posts about ISO-26262

1. 01
   

   newRust for DO-178C and ISO 26262www.adacore.com

   ▲ 1ajdude1hdiscusssavesaved
2. 02
   

   newAda and SPARK enter the automotive ISO-26262 market with Nvidiawww.adacore.com

   ▲ 116gneuromante487d💬 111savesaved
3. 03
   

   newNvidia ISO-26262 Spark Processnvidia.github.io

   ▲ 1todsacerdoti487ddiscusssavesaved
4. 04
   

   newAsk HN: New AI-Based Software Verification by Comparing Code vs. Requirements?

   ▲ 2axelr340488ddiscusssavesaved
5. 05
   

   newShow HN: Torasan – Open-source functional safety automation frameworkgithub.com

   ▲ 1enzo_ferrari210ddiscusssavesaved
6. 06
   

   newShow HN: Skalp – An intent-driven hardware language with clock domains as typesgithub.com

   ▲ 1girivs82224ddiscusssavesaved

· edit