Press Releases

• AdaCore’s Annual Make with Ada Competition is Starting 10/16/2018
• High Integrity Software Conference reaches out to budding developers in its fifth year 10/15/2018
• AdaCore Demonstrating GNATcheck Ada Coding Standard Enforcement Tool for FACE™ Components 9/18/2018
• AdaCore Shows How to Address the Cyber Security Challenge 6/27/2018
• AdaCore Extends Support for Wind River VxWorks Portfolio 6/19/2018
• AdaCore’s GNAT Pro Supports Lynx Software Technologies’ LynxSecure Separation Kernel Hypervisor on Intel Processors 6/19/2018
• AdaCore Tools Streamline Development of Safe, Secure, Automotive and Autonomous System Software 6/6/2018
• University of Colorado’s Laboratory for Atmospheric and Space Physics adopts Ada and GNAT Pro for NASA project 5/22/2018
• AdaCore’s GNAT Pro Ada Toolchain Released for BlackBerry QNX 5/15/2018
• AdaCore / Rapita Systems Partnership: Verifying critical code with GNAT Pro and RVS 3/8/2018
• Scandinavian Real Heart Selects AdaCore Embedded Software Development Platform for Revolutionary Artificial Heart 2/27/2018
• AdaCore V18.1 Product Release Brings New Software Development and Verification Solutions 1/31/2018
• DENSO Using SPARK Technology for Automotive Research Project 1/16/2018
• AdaCore Exhibiting and Presenting at ERTS2 2018 12/19/2017
• AdaCore Launches New GNAT Pro Product Lines 11/15/2017
• MDA Selects AdaCore’s GNAT Pro Assurance Development Platform for International Space Station Software 11/15/2017
• Ada on Board: Thales Using AdaCore’s GNAT Pro for Critical Avionics Software 10/31/2017
• AdaCore Announces Winners for Second Annual “Make with Ada” Programming Competition 10/24/2017
• AdaCore and Altran announce fourth year of High Integrity Software Conference sponsorship 9/12/2017
• MHI Aerospace Systems Corp. Selects AdaCore’s QGen for Model-Based Development 5/24/2017
• AdaCore’s GNAT Pro Supports Wind River’s FACE Conformant VxWorks 653 Platform 5/23/2017
• AdaCore Launches “Make with Ada” Programming Competition, with €5000 Top Prize 5/15/2017
• New SPARK Adoption Guidance Published 5/9/2017
• AdaCore Releases GNAT Pro 17 Development Environment for SYSGO’s PikeOS RTOS 3/21/2017
• AdaCore Publishes Handbook on DO-178C/ED-12C Guidance 3/21/2017
• AdaCore Releases New Versions of GNAT Pro, CodePeer, QGen and SPARK Pro 3/14/2017
• AdaCore Releases QGen 17.1 for Model-Based Development and Verification 3/14/2017
• AdaCore’s CodePeer Officially Registered as CWE-Compatible 12/6/2016
• Winners Announced for First Annual “Make with Ada” Programming Competition 11/30/2016
• AdaCore and Altran to sponsor High Integrity Software Conference 9/20/2016
• Ada on Board: GNAT Pro Helps ExoMars Get to the Red Planet 7/19/2016
• Free Booklet Shows How AdaCore’s Technologies Can Help Railway Software Developers Meet EN 50128 Obj 6/28/2016
• AdaCore Launches “Make with Ada” Programming Competition, with €5000 Top Prize 6/20/2016
• AdaCore Releases QGen 2.1 and GNAT Pro 7.4 2/23/2016
• AdaCore Releases QGen 2.1 2/23/2016
• AdaCore Releases GNAT Pro 7.4 2/23/2016
• Ada 2012 Language Standard Corrigendum Approved by ISO 2/23/2016
• AdaCore Releases SPARK Pro 16 1/27/2016
• French Agency DGA Selects AdaCore’s GNAT Pro with SQUORE Technology 1/27/2016
• AdaCore’s CodePeer Selected for Digital Terrain System Requiring DO-178B Certification 1/27/2016
• Celebrating Ada Lovelace: The Pioneer of Programming 12/9/2015
• AdaCore Introduces GNAT GPL 2015 for the Raspberry Pi 2 9/1/2015
• AdaCore’s GNAT Pro Available for Wind River VxWorks 7 7/21/2015
• SPARK Going to the Moon 7/14/2015
• AdaCore President Robert B. K. Dewar (1945-2015) 7/2/2015
• AdaCore Releases CodePeer 3.0 5/6/2015
• AdaCore Launches QGen 2/24/2015
• AdaCore Releases GNAT Pro 7.3 2/24/2015
• ProofInUse Initiative Launched, Will Deliver Verification Tools for Critical Systems 2/2/2015
• New Release of Muen Separation Kernel Upgrades to SPARK 2014 for Formal Verification 1/13/2015
• AdaCore Launches GNATdashboard 12/4/2014
• AdaCore Development Environment Selected for New Spanish Satellite Project 10/23/2014
• AdaCore's CodePeer Static Analysis Tool Earns Qualification for Software Verification in Avionics, R 10/23/2014
• AdaCore Releases GNAT GPL for Bare Board ARM 7/24/2014
• SmartWard Pty Ltd Selects AdaCore Tools for Hospital Information System Development 5/28/2014
• Altran and AdaCore Release Next-Generation Static Verification Toolset 5/6/2014
• AdaCore Releases GNAT Pro 7.2 for Android 4/1/2014
• GNAT Pro Safety-Critical Development Environment Released for LynxOS-178 4/1/2014
• AdaCore Releases GNAT Pro 7.2 2/25/2014
• AdaCore Releases GNAT Pro 7.2 for ARM/Linux 2/25/2014
• AdaCore Releases New Version of GNATcoverage Dynamic Analysis Tool 2/5/2014
• AdaCore Releases Major New Version 2.3 of CodePeer Static Analysis Tool 2/5/2014
• Deep Blue Capital Selects AdaCore Products for Financial System Development 1/22/2014
• Muen Separation Kernel Lays Open Source Foundation for High-Assurance Software Components 12/10/2013
• AdaCore and Altran Toolsets Help Launch CubeSat into Orbit 11/20/2013
• AdaCore Releases Major New Version of GNAT Programming Studio 6.0 11/12/2013
• Ada 2012 Language Rationale Published 11/12/2013
• AdaCore Launches Free, Online Ada Educational Resource for the Software Development Community 9/25/2013
• AdaCore Brings Ada to Wind River Linux 7/2/2013
• Astrium Selects AdaCore’s GNAT Pro and PolyORB for International Space Station 6/11/2013
• AdaCore Announces Successful Completion of Project Hi-Lite 5/30/2013
• TOYOTA ITC Japan Selects SPARK Pro Language and Toolset for High-Reliability Research Project 4/23/2013
• AdaCore Releases Major New Version 2.2 of CodePeer Static Analysis Tool 4/23/2013
• AdaCore Releases GNAT Pro 7.1 4/23/2013
• AdaCore Releases GNAT Pro Safety-Critical for ARM Processors 2/26/2013
• AdaCore and Wind River to Offer Joint Product Training Services in Europe 2/26/2013
• Ada 2012 Language Standard Approved by ISO 12/18/2012
• GNAT Pro Safety-Critical used by Terma A/S for Space Monitor Project 12/17/2012
• GNAT Pro Solves Data Endianness Portability Challenge 12/4/2012
• Traceability Analysis Helps Rockwell Collins Achieve DO-178B Certification 12/4/2012
• AdaCore and Altran Praxis Release SPARK Pro 11 11/29/2012
• Rockwell Collins Develops SecureOne™ with SPARK Pro and GNAT Pro High-Security 9/17/2012
• SmartSide Adopts Ada and GNAT Pro for Smart Devices Platform 6/20/2012
• Saab Electronic Defence Systems Adopts CodePeer 6/12/2012
• Embraer Selects Ada and AdaCore’s GNAT Pro for AMX Upgrade 3/26/2012
• AdaCore Releases GNAT Pro 7.0 2/28/2012
• AdaCore Releases Major New Version 2.1 of CodePeer Static Analysis Tool 2/28/2012
• AdaCore Launches GNATtest 2/1/2012
• 'Project P' and 'Hi-MoCo' Research Projects Launched 2/1/2012
• AdaCore and SofCheck Merge 1/10/2012
• Eurocopter Selects GNAT Pro for Military Helicopter ARINC 653 Project 11/29/2011
• Qualification Material Available for GNATcheck and GNATcoverage 11/29/2011
• AdaCore Takes On Agile Certification: the OPENCOSS and pSafecer Projects 11/29/2011
• AdaCore Releases Major New Version of GNAT Programming Studio 5.1 9/27/2011
• Digicomp Shows Continuing Success with Ada and GNAT Pro 9/27/2011
• AdaCore’s GNATcoverage Product Awarded Electron d'Or Prize 7/5/2011
• Siemens Switzerland Selects AdaCore Toolset for Railway Project 6/30/2011
• AdaCore and Altran Praxis Release SPARK Pro 10 6/7/2011
• NIST Report Shows SPARK Most Suitable Language for Secure Programming 5/2/2011
• Thales Selects AdaCore Toolset for Argos Satellite Project 5/2/2011