Links

Books

• The B-Book: Assigning programs to meanings, by Jean-Raymond Abrial (link is to a review by Jonathan Bowen)
• The B-Method: An Introduction, by Steve Schneider

Miscellaneous

• ProB Publications
• B-Method in Wikipedia
• B-Method Site from ClearSy

ProB

• myProB Web-Interface
• Old web page of ProB (in Southampton; use for releases prior to 1.2)

Tools

• jbtools
• B4Free tools for the development of B models
• Click n Prove
• Event-B and Rodin Wiki (Rodin Platform Releases)
• Rodin Eclipse toolset
• B Toolkit
• U2B UML to B translation tool
• Atelier B
• TLA+ (tools for TLA+)