Home | Contact | Pricing | News | Events | Partners | Mailing List | Site Map

Press Center

 rss feed

Press Releases

Tuesday July 27, 2010
SPARK Pro Adopted by secunet
Tuesday May 4, 2010
AdaCore Announces Hi-Lite Project
Tuesday April 27, 2010
Rockwell Collins Selects SPARK Pro for Security and Information Assurance
Tuesday April 27, 2010
GNAT Pro High-Integrity Edition For VxWorks MILS Platform now available
Tuesday April 13, 2010
MBDA Extends Global Software Licensing Agreement with AdaCore
View all »

AdaCore in the Press

Friday July 9, 2010 | Embedded Technology
Achieving Embedded Software Safety with Agility
Monday July 5, 2010 | Embedded-news.tv
Why is static analysis a challenge?
Thursday April 8, 2010 | Embedded.com
Expressive vs. permissive languages: Is that the question?
View all »

Events

August 2-5, Washington, D.C.
Military Open Source Software (Mil-OSS)
August 26, 2010 - Paris, France
CompCert, formal verification of realistic compilers for critical software
September 15, 2010 - Manchester, UK
Supporting the delivery of safety
View all »

Newsletter - GNAT Pro Insider

Thursday April 29, 2010
Spring-Summer 2010
  • CodePeer Launched
  • DO-178C Nearing Completion
  • Current Releases
  • In the Pipeline
  • Webinar Schedule
  • Academia Corner: University of Virginia
  • Interview with José Ruiz
  • AdaCore Awarded Grant for Hi-Lite Project
  • Technology Corner: Ada 2012 Nearing Completion
  • Open-DO Update
  • Conferences/Events
  • AdaCore at Wind River Regional Conferences
 Download:

application/pdf 197.9Kb

Sign-up for Newsletter

 
View all »