1. AdaCore FactoryPresented byNicolas Roche 2. GNAT Pro Releases• 60 platforms• 150 runtimes• Not just a compiler:• GNATBench, GPS• CodePeer, SPARK• GNATcoverage,GNATemulator,…