The B Method

An Introduction

by Steve Schneider

Student resources


Founded in 1993, B-Core (UK) are the owners and developers of the B-Toolkit, its specification, its design and its notations. The toolkit provides complete support for the B-Method of software construction. The licence for the B-Toolkit which accompanies the book can be obtained from the ‘evaluation licences’ selection on the B-Core website at Make sure that you have your copy of the book to hand when completing the on-line request for the licence.

You may like to follow these links for further information and reading on the B-Method: