Archives mensuelles : décembre 2011
Integration of ProB
ProB model-checker is being integrated in Atelier B 4.0, in order to provide additional proof power and animation capabilities to Atelier B. With the help of Pr. Michael Leuschel, a MacOS prototype has been developped, allowing to animate and model-check a … Continuer la lecture
Publié dans Research, Tools
Laisser un commentaire