Press Center

 rss feed

Press Releases

Wednesday February 1, 2012
‘Project P’ and ‘Hi-MoCo’ Research Projects Launched
Wednesday February 1, 2012
AdaCore Launches GNATtest
Tuesday January 10, 2012
AdaCore and SofCheck Merge
Tuesday November 29, 2011
Eurocopter Selects GNAT Pro for Military Helicopter ARINC 653 Project
Tuesday November 29, 2011
Qualification Material Available for GNATcheck and GNATcoverage
View all »

AdaCore in the Press

Tuesday January 17, 2012 | EE Times
Developing secure code using SPARK (Part 2)
Tuesday January 17, 2012 | EE Times
Developing secure code using SPARK
Friday December 9, 2011 | New Electronics
Interview with Cyrille Comar
View all »

Events

Feb 4-5, 2012, Brussels, Belgium.
FOSDEM 2012
Feb 28-Mar 1, 2012 - Nuremberg, Germany
Embedded World 2012
View all »

Newsletter - GNAT Pro Insider

Thursday January 19, 2012
Autumn 2011
  • GPS 5.1 Strengthens Multi-Language Support, Tightens CodePeer Integration
  • GNATcoverage wins Electron d’Or Prize
  • Current Releases
  • In the Pipeline
  • Academia Corner: University of Southampton,UK
  • Interview with JC Bernedo
  • Webinar Schedule
  • SPARK Prevents Software Vulnerabilities
  • Technology Corner: Contract-Based Programming in Ada 2012
  • Conferences/Events
 Download:

application/pdf 313.7Kb

Sign-up for Newsletter

 
View all »

Home | Download | Developers | Academia | Ada Answers | Tools | News | Contact

Privacy Policy