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://www.event-b.org/ Event-B and Rodin Wiki]
* [http://www.event-b.org/ Event-B and Rodin Wiki] ([http://wiki.event-b.org/index.php/Rodin_Platform_Releases Rodin Platform Releases])
* [http://sourceforge.net/projects/rodin-b-sharp/ Rodin] Eclipse toolset
* [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:47, 27 June 2011

Books

Miscellaneous

ProB

Tools