Linux News
The world is talking about GNU/Linux and Free/Open Source Software
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.
|
|
Full Story |
This topic does not have any threads posted yet!
You cannot post until you login.
