Line 46: | Line 46: | ||
* [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)] | * [https://github.com/utwente-fmt/ltsmin/releases LTSmin releases (including versions for prob)] | ||
* [http://www.b4free.com/ B4Free] tools for the development of B models | * [http://www.b4free.com/ B4Free] tools for the development of B models | ||
* [https://hal.archives-ouvertes.fr/inria-00099836 Click n Prove] | * [https://hal.archives-ouvertes.fr/inria-00099836 Click n Prove] |