En passant le logiciel pour faire de la méthode B évènementielle, développé lors du projet de recherche européen Rodin (c'est aussi le nom du logiciel), est un logiciel libre : http://sourceforge.net/projects/rodin-b-sharp/
il y a un prouveur dedans qui est libre aussi, par contre ceux qu'on installe avec le plugin proviennent de l'atelierB de clearsy ( http://www.clearsy.com/ )
[^] # Re: mouais
Posté par Joris R (site web personnel, Mastodon) . En réponse au journal La preuve de programme : où en est-on ?. Évalué à 2.
http://sourceforge.net/projects/rodin-b-sharp/
il y a un prouveur dedans qui est libre aussi, par contre ceux qu'on installe avec le plugin proviennent de l'atelierB de clearsy ( http://www.clearsy.com/ )