3 ms·Ada is gaining popularity in safety critical systemsby gmadsen 3y agoAda is gaining popularity in safety critical systemsgilcot 3y agoAda/SPARK is already popular in safety critical systems