(→Tools) |
(→Tools) |
||
Line 15: | Line 15: | ||
* [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 | * [http://www.event-b.org/ Event-B and Rodin Wiki] | ||
* [http://sourceforge.net/projects/rodin-b-sharp/ Rodin] 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] |