No edit summary |
|||
| Line 3: | Line 3: | ||
* [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://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://www.palgrave.com/science/computing/schneider/ The B-Method: An Introduction, by Steve Schneider] | * [http://www.palgrave.com/science/computing/schneider/ The B-Method: An Introduction, by Steve Schneider] | ||
== | == Papers == | ||
* [http://www.stups.uni-duesseldorf.de/w/Publications:ProB ProB Publications] | * [http://www.stups.uni-duesseldorf.de/w/Publications:ProB ProB Publications] | ||
* [http://en.wikipedia.org/wiki/B-Method B-Method in Wikipedia] | * [http://en.wikipedia.org/wiki/B-Method B-Method in Wikipedia] | ||
| Line 11: | Line 11: | ||
== ProB == | == ProB == | ||
* [[ProB Examples|Examples for ProB]] (along with screenshots and explanations) | |||
* [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.ecs.soton.ac.uk/~mal/systems/prob.html Old web page of ProB] (in Southampton; use for releases prior to 1.2) | ||
* [http://www.fm4industry.org/index.php/Productivity_Improvement_of_Data_Consistency_in_Transportation_Models Link to Success Story (written by Cetic)] | * [http://www.fm4industry.org/index.php/Productivity_Improvement_of_Data_Consistency_in_Transportation_Models Link to Success Story (written by Cetic)] | ||