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...