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