Students zoneNote from the author
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.
Click here to view the student resources