Actualités, Documentation Actualités, Documentation Vérification formelle de programmes automates avec la méthode B 7 juin 2013