Séminaire sur la Méthode B

J’ai participé aujourd’hui au Séminaire francilien de sûreté de fonctionnement, à l’Ecole Centrale Paris. Ma présentation était un tutoriel sur la Méthode B, une approche formelle que j’ai beaucoup utilisée à mes débuts comme chercheur et que j’ai enseignée pendant de nombreuses années à des élèves-ingénieurs, à des étudiants de master M2, et plus récemment, à des étudiants de 2ème année du DUT Informatique. Les supports utilisés pendant ce séminaire sont disponibles ici.

Un grand merci à Antoine Rauzy pour l’invitation à ce séminaire, ainsi qu’aux participants pour leur écoute et pour leurs questions !