Line 41: | Line 41: | ||
* [http://www.atelierb.eu/ Atelier B] | * [http://www.atelierb.eu/ Atelier B] | ||
* [http://www.event-b.org/ Event-B and Rodin Wiki] ([http://wiki.event-b.org/index.php/Rodin_Platform_Releases Platform Releases], [http://wiki.event-b.org/index.php/Main_Page Documentation]), [http://sourceforge.net/projects/rodin-b-sharp/ Rodin Sourceforge Site] | * [http://www.event-b.org/ Event-B and Rodin Wiki] ([http://wiki.event-b.org/index.php/Rodin_Platform_Releases Platform Releases], [http://wiki.event-b.org/index.php/Main_Page Documentation]), [http://sourceforge.net/projects/rodin-b-sharp/ Rodin Sourceforge Site] | ||
* [https://github.com/utwente-fmt/ltsmin/releases LTSmin releases (including versions for prob)] | |||
* [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 |