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
• Old web page of ProB (in Southampton; use for releases prior to 1.2)
• ProB Talks
• B-Method in Wikipedia
• B-Method Site from ClearSy
• myProB Web-Interface
• ProB Rodin Plug-In
• BE4 Editor

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