4 ms·
If you're interested in using Ada, be sure to also checkout SPARK - http://www.adaic.org/advantages/spark-ada/ http://www.adaic.org/advantages/spark-ada/ It's
by MaxLeiter 9y ago
If you're interested in using Ada, be sure to also checkout SPARK - http://www.adaic.org/advantages/spark-ada/ http://www.adaic.org/advantages/spark-ada/
It's basically a more strict (in terms of safety) Ada
- mcguire 9y agoAda is a language that I really want to like, but I've never been able to get enthusiastic about it. That being said, SPARK and the affiliated tools (particularly gps (? Programming Studio?) are much nicer to use than the other formal verification tools I've tried. (Frama-C, much as I do like it, is obviously more a research project; Dafny is undocumented. I haven't tried any of the Java options.) https://maniagnosis.crsr.net/2017/08/programming-language-syntax-complaints.html https://maniagnosis.crsr.net/2017/08/programming-language-sy...