6 ms·Ada/SPARK is already popular in safety critical systemsby gilcot 3y agoAda/SPARK is already popular in safety critical systems