A selection of slides from AdaCore Tech Days 2015.