La prochaine journée du cycle de conférences « Forum Méthodes Formelles » concerne l’analyse statique de codes pour la validation formelle de systèmes logiciels. Cette journée est organisée sous forme de retours d’expériences industrielles. Le schéma général est d’associer systématiquement une présentation d’outil par son concepteur/développeur et le retour d’expérience utilisateur. Les grandes entreprises du domaine de l’avionique et de l’espace partageront leurs expériences, utilisables dans d’autres domaines tels que la santé ou les transports terrestres.
Vendredi 28 juin 2013 de 9h00 à 17h30 – Inria Grenoble Rhône-Alpes – Grand amphithéâtre -Retransmission en direct de la conférence de Toulouse
>>> En savoir plus
