T7 : Applications industrielles Outils (gnatprove/gnat2why, gnattest, GPS, why3, alt-ergo, greffon e-acsl) mis à disposition Retour dexpérience, mises
{"Image DocumentName": "Rapport d\u2019activit\u00e9 par t\u00e2che", "Image ImageDescription": "T7 : Applications industrielles. Outils (gnatprove/gnat2why, gnattest, GPS, why3, alt-ergo, greffon e-acsl) mis \u00e0 disposition. Retour d\u2019exp\u00e9rience, mises \u00e0 jour disponibles. Etudes de cas : Thales, Astrium. Application des outils sur eux-m\u00eames. Utilisation de CodePeer sur CodePeer, GNAT, GPS.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}