No edit summary |
|||
| Line 13: | Line 13: | ||
* [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)] | ||
== Tools using ProB == | |||
* [http://safecap.cs.ncl.ac.uk/index.php/Safecap_Project_Wiki SafeCap] | |||
* [http://www.data-validation.fr/data-validation-in-the-railways/ DTVT - Data Table Validation Tool] | |||
* [http://wiki.event-b.org/index.php/IUML-B iUML Statemachines] | |||
* [http://www.beta-tool.info/user_guide.html Beta] | |||
== Tools == | == Tools == | ||