January-June 2020
- Webinar on NVIDIA Use of SPARK for Secure Firmware
- AdaCore UK Participating in HICLASS Program
- Tech Days 2019
- V20 Product Release
- AdaCore in Space
- AdaCore Toolsuite for Ada, SPARK, and C Qualified under ISO 26262 and IEC 61508
- GNAT Ada Targeted to LLVM
- Spotlighting a GAP Member: Universidad Politécnica de Madrid (Spain)
- Enhancements to learn.adacore.com
- Blog Summary: RecordFlux- A Secure SPARK-Based Message Parsing Framework
- GNAT Pro C++ Available for Embedded Applications
