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