Systerel a utilisé la méthode formelle B et l'Atelier B pour le développement de sa solution open-source Safe and Secure Open Platform Communications (S2OPC),...
Méthode B
Vérification formelle de programmes automates avec la méthode B
Nous publions ce mémoire de fin d'études qui aborde une problématique centrale pour les systèmes automatiques industriels critiques. Auteur: Haniel Moreira...
Conférence : la Méthode B, de la Recherche à l’Enseignement
L'université de Nantes organise une conférence dédiée à la Méthode B. Elle se déroulera le 16 juin 2008, à la Cité Internationale des Congrès, dans la ville...