July–Dec 2018
- AdaCore Technologies for Cybersecurity 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
