Links: Difference between revisions

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+]
* [http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html TLA+] ([http://research.microsoft.com/en-us/um/people/lamport/tla/tools.html tools for TLA+])

Revision as of 12:39, 23 January 2012

Books

Miscellaneous

ProB

Tools