AdaCore Tech Days 2017 Slides

R&D Projects and Results
by Yannick Moy

Dealing with Platform Obsolescence
by Martyn Pike

Getting Started with SPARK Discovery
by Yannick Moy

Scaling Up with CodePeer
by Yannick Moy

GPS for Bare Metal Development
by Robert Tice

Code Coverage Approaches
by Robert Tice

AdaCore and the Ada/SPARK Community
by Nicolas Setton

Ada 2020 Update
by S. Tucker Taft

Formal Methods, Strong Languages, and other Lessons Learned
by Paul E. Black

Update on QGen 
by Tucker Taft

Lightweight Static Analysis with Libadalang
by Yannick Moy

Static Analysis Update
by Yannick Moy

Customizing GPS
by Nicolas Setton

The GNAT Run-Time Libraries
by Patrick Rogers

Sharing Across Projects Through Project Files
by Albert Lee

GNAT Pro Update
by Arnaud Charlet

Market Update and Commercial Offer Evolution
by Quentin Ochem