website title
Students Zone
The material provided on this website provides source material for students to support the Cornerstones book on the B-Method. In my experience, the most effective way to learn the B-Method is by using the tool support as early as possible. A fixed-term licence for the linux B-Toolkit from B-Core is available for purchasers of this book, for private use, and a link is provided to the B-Core website which provides the tool and the licence. Follow the link to `Evaluation Licences'. Links to other relevant sites are also provided.
The source code for all of the examples and exercises appearing in the book is also provided. You are encouraged to download these and explore them in conjunction with working through the book.
Steve Schneider
For source files of all the book’s examples, click here.
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 www.b-core.com. 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:
- Steve Schneider’s site: www.cs.rhul.ac.uk/research/formal/steve.html
- B-Core: www.b-core.com
- Steria – Atelier B: www.atelierb.societe.com/index_uk.html
- Oxford B archive: http://archive.comlab.ox.ac.uk/formal-methods/b.html
- Grenoble B Site: http://www-lsr.imag.fr/B/
Click here to access a PDF of a sample chapter