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
• Can FM tools manage large scale industrial problems ?
• Data Validation

ProB

• Old web page of ProB (in Southampton; use for releases prior to 1.2)
• Link to Success Story (written by Cetic)

Tools using ProB

• SafeCap
• DTVT - Data Table Validation Tool
• iUML Statemachines
• Beta
• HRemo

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+)