LXer: AdaCore's GNAT Pro, CodePeer, QGen and SPARK Pro
 

Published at LXer:

AdaCore recently announced the concurrent annual release of four flagshipproducts in its portfolio of software development and verificationtools for mission-critical, safety-critical and security-criticalsystems. These include version 17.1 of GNAT Pro, CodePeer, QGen and SPARKPro.

Read More...