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
Last Updated: 3/27/2020
Posted on: 3/27/2020