Links: Difference between revisions

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 B Sharp] Eclipse toolset
* [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]

Revision as of 08:46, 27 June 2011

Books

Miscellaneous

ProB

Tools