home > news AdaCore's GNAT Pro, CodePeer, QGen and SPARK Pro

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

Version 1.9
Contact Webmaster