Feb 6 '14
GNATcoverage 1.2 is the latest version of AdaCore’s source and object code coverage analysis tool. GNATcoverage does not require instrumentation of the executable, and this new product release supports usage with an iSystem hardware probe generating Nexus trace data, as well as usage with Valgrind on Linux.
Aug 4 '13
Stuart Matthews explains how SPARK 2014 uses and extends the features of Ada 2012 for automated verification of programs.
Jul 3 '13
The GNAT Pro Ada development environment is now available for the Wind River Linux platform. This new implementation brings the Ada language’s reliability benefits to the increasingly popular Wind River Linux system. AdaCore offers the industry’s leading Ada solution for Wind River’s products, including a GNAT Pro implementation for Wind River’s VxWorks® real-time operating system (RTOS).