No edit summary |
(→ProB) |
||
| Line 11: | Line 11: | ||
== ProB == | == 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.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) | ||
== Tools == | == Tools == | ||