AdaCore vehemently verifies (software) verification Read the article on ComputerWeekly.com » Posted on: 3/16/2017