July-Dec 2019

  • AdaCore Turns 25
  • Make with Ada Winners Announced
  • Tech Days EU and US Announced for 2019
  • Roadmap Announced for GNAT Pro on Wind River VxWorks 7 SR066xx Platforms
  • AdaCore Joins RISC-V Foundation
  • New AdaCore Blogs
  • GNAT Pro Available for C and C++
  • Welcome GNAT Studio!
  • Spotlighting a GAP Member: Institut Supérieur de l’Aéronautique et de l’Espace (Toulouse, France)
  • AdaCore Ltd Is Born
  • Frama-C & SPARK Day Explores Formal Verification Methods
  • AdaCore Now a Principal Member of the Open Group FACETM Consortium
  • Tech Day Held in Huntsville, Alabama
Last Updated: 9/12/2019
Posted on: 9/12/2019