Présentation de B/Event-B à GT-Verif

J’ai participé ce matin aux Journées annuelles du GT Verif à la Maison des sciences et de l’environnement de l’UPEC, sur le campus de Créteil. Ma présentation était une introduction générale à B et Event-B, deux approches formelles que j’utilise régulièrement dans le cadre de mes activités de recherche. Un grand merci aux organisateurs pour l’invitation à ce GT, ainsi qu’aux participants pour leur écoute et pour leurs questions !