Line 48: | Line 48: | ||
* [http://lifc.univ-fcomte.fr/~btatibouet/PERSO/JBTOOLS/InstallPlugIn/InstallPlugIn.html jbtools] | * [http://lifc.univ-fcomte.fr/~btatibouet/PERSO/JBTOOLS/InstallPlugIn/InstallPlugIn.html jbtools] | ||
* [http://www.b4free.com/ B4Free] tools for the development of B models | * [http://www.b4free.com/ B4Free] tools for the development of B models | ||
* [ | * [https://hal.archives-ouvertes.fr/inria-00099836 Click n Prove] | ||
* [https://github.com/edwardcrichton/BToolkit B Toolkit] | * [https://github.com/edwardcrichton/BToolkit B Toolkit] | ||
* [http://www.ecs.soton.ac.uk/~cfs/umlb.html U2B] UML to B translation tool | * [http://www.ecs.soton.ac.uk/~cfs/umlb.html U2B] UML to B translation tool |