No edit summary |
|||
| Line 6: | Line 6: | ||
* [http://www.stups.uni-duesseldorf.de/ProB/probpublications.php ProB Publications] | * [http://www.stups.uni-duesseldorf.de/ProB/probpublications.php ProB Publications] | ||
* [http://vl.fmnet.info/b/ Formal Methods Virtual Library] | * [http://vl.fmnet.info/b/ Formal Methods Virtual Library] | ||
* [http://en.wikipedia.org/wiki/B-Method B-Method in Wikipedia] | * [http://en.wikipedia.org/wiki/B-Method B-Method in Wikipedia] | ||
* [http://www.bmethod.com/ B-Method Site] from ClearSy | * [http://www.bmethod.com/ B-Method Site] from ClearSy | ||
| Line 15: | Line 13: | ||
* [http://www.stups.uni-duesseldorf.de/ProB/update/prototype/ ProB Rodin Plug-In] | * [http://www.stups.uni-duesseldorf.de/ProB/update/prototype/ ProB Rodin Plug-In] | ||
* [http://www.stups.uni-duesseldorf.de/ProB/be4 BE4 Editor] | * [http://www.stups.uni-duesseldorf.de/ProB/be4 BE4 Editor] | ||
* [http://www.ecs.soton.ac.uk/~mal/systems/prob.html Old web page of ProB] (in Southampton; use for releases prior to 1.2) | |||
* [http://www.stups.uni-duesseldorf.de/ProB/probtalks.php ProB Talks] | |||
== Tools == | == Tools == | ||