AdaCore's GNAT Pro, CodePeer, QGen and SPARK Pro
AdaCore recently announced the concurrent annual release of four flagship products in its portfolio of software development and verification tools for mission-critical, safety-critical and security-critical systems. These include version 17.1 of GNAT Pro, CodePeer, QGen and SPARK Pro. more>>
Click Here to read the entire article...
Find this article in Google