AdaCore upgrades GNAT Pro, CodePeer, QGen, and SPARK Pro software development, verification tools Read the article on Intelligent Aerospace » Posted on: 3/20/2017