July–Dec 2018

  • AdaCore Technologies for Cyber Security Available
  • CodePeer Support for the Common Weakness Enumeration
  • Smaller and More Secure with SPARK
  • AdaCore Training Services
  • Workshop on Sound Static Analysis for Security
  • New Platform Support
  • AdaCore Blogs
  • Interview with Emma Adby
  • Tech Days 2018
  • Put Some SPARK in Your Ada
Last Updated: 10/1/2018
Posted on: 10/1/2017