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

• B Site Pages
• ProB Publications
• Formal Methods Virtual Library
• 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
• Rodin B Sharp Eclipse toolset
• B Toolkit
• BZ-Testing-Tools
• U2B UML to B translation tool
• Atelier B