| Line 12: | Line 12: | ||
== Tools == | == Tools == | ||
* [http://lifc.univ-fcomte.fr/~ | * [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 | ||
* [http://www.loria.fr/~cansell/cnp.html Click n Prove] | * [http://www.loria.fr/~cansell/cnp.html Click n Prove] | ||
* [http://sourceforge.net/projects/rodin-b-sharp/ Rodin B Sharp] Eclipse toolset | * [http://sourceforge.net/projects/rodin-b-sharp/ Rodin B Sharp] Eclipse toolset | ||
* [http://www.b-core.com/btoolkit.html B Toolkit] | * [http://www.b-core.com/btoolkit.html 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 | ||
* [http://www.atelierb.eu/ Atelier B] | * [http://www.atelierb.eu/ Atelier B] | ||