(Created page with '== Books == * [http://www.jpbowen.com/publications/thes-b.html The B-Book: Assigning programs to meanings, by Jean-Raymond Abrial] (link is to a review by Jonathan Bowen) * [http…') |
|||
| Line 10: | Line 10: | ||
* [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 | ||
== ProB == | |||
* [http://asap0.cs.uni-duesseldorf.de/myprob/MyProB.html myProB Web-Interface] | * [http://asap0.cs.uni-duesseldorf.de/myprob/MyProB.html myProB Web-Interface] | ||
* [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] | ||
== Tools == | == Tools == | ||
* [http://lifc.univ-fcomte.fr/~tatibouet/JBTOOLS/ jbtools] | * [http://lifc.univ-fcomte.fr/~tatibouet/JBTOOLS/ jbtools] | ||