Press Releases
Sep 29, 2026
Renishaw Neuro Solutions Selects CodeSonar® Static Analysis for Neurosurgical Robot Software Development
Read More
Jun 19, 2018
AdaCore’s GNAT Pro Supports Lynx Software Technologies’ LynxSecure Separation Kernel Hypervisor on Intel Processors
Jun 06, 2018
AdaCore Tools Streamline Development of Safe, Secure, Automotive and Autonomous System Software
May 22, 2018
University of Colorado’s Laboratory for Atmospheric and Space Physics adopts Ada and GNAT Pro for NASA project
May 15, 2018
AdaCore’s GNAT Pro Ada Toolchain Released for BlackBerry QNX
Mar 08, 2018
AdaCore / Rapita Systems Partnership: Verifying critical code with GNAT Pro and RVS
Feb 27, 2018
Scandinavian Real Heart Selects AdaCore Embedded Software Development Platform for Revolutionary Artificial Heart
Jan 31, 2018
AdaCore V18.1 Product Release Brings New Software Development and Verification Solutions
Jan 16, 2018
DENSO Using SPARK Technology for Automotive Research Project
Dec 19, 2017
AdaCore Exhibiting and Presenting at ERTS2 2018
Nov 15, 2017
AdaCore Launches New GNAT Pro Product Lines
Nov 15, 2017
MDA Selects AdaCore’s GNAT Pro Assurance Development Platform for International Space Station Software
Oct 31, 2017