Open-DO: Towards a Lean Approach for Certification (Cyrille Comar)
Getting Started with SPARK
Boogie 2011 Hi-Lite
GNAT Pro User Day: Ada 2012, Ravenscar and SPARK running on an Atmel ARM M4 (Tetris Example)
GNAT Pro User Day: Ada Factory
GNAT Pro User Day: QGen: Simulink® static verification and code generation
Hi-Lite erts2012
Formal Versus Agile: Survival of the Fittest? (Paul Boca)
DO 178C Upcoming Guidance for OOS
GNAT Pro User Day: New and Upcoming Developments in the AdaCore Technology
GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Development Process
Couverture erts2012
GNAT Pro User Day: Ada at Ansaldo STS
Secure software chapman
GNAT Pro for ARM processors
High-Level Synthesis with GAUT
AdaCore Roadmap (Sep 2013)
GNAT Pro User Day: VISIUM™ and Ada
HIS Conf 2014: An Insight into MISRA-C
GNAT Pro User Day: AdaCore Insights