Nvdia using SPARK for safety-critical firmwareadacore.com3 points·c2the3rd··0 commentsOpen articleSaveView on HN