Anyone curious of its benefits can find them here: https://www.adacore.com/books/safe-and-secure-software https://www.adacore.com/books/safe-and-secure-softwar

Anyone curious of its benefits can find them here: https://www.adacore.com/books/safe-and-secure-software https://www.adacore.com/books/safe-and-secure-software Throw in a good article on top: http://www.electronicdesign.com/embedded-revolution/assessing-ada-language-audio-applications http://www.electronicdesign.com/embedded-revolution/assessin...