A adacore.com Ada and SPARK enter the automotive ISO-26262 market with Nvidia 116 points gneuromante 1 year ago 111 comments