No edit summary |
(→Tools) |
||
Line 21: | Line 21: | ||
* [http://www.ecs.soton.ac.uk/~cfs/umlb.html U2B] UML to B translation tool | * [http://www.ecs.soton.ac.uk/~cfs/umlb.html U2B] UML to B translation tool | ||
* [http://www.atelierb.eu/ Atelier B] | * [http://www.atelierb.eu/ Atelier B] | ||
* [http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html TLA+] |