3 ms·
Ada isn't my favourite language to code in. But if I was tasked to build something safety-critical, I would strongly consider Ada SPARK [1] among the possible t
by gmfawcett 10y ago
Ada isn't my favourite language to code in. But if I was tasked to build something safety-critical, I would strongly consider Ada SPARK [1] among the possible tools to use.
[1] http://www.spark-2014.org/about http://www.spark-2014.org/about