If your operating system is other than Linux, please mail B-Core.

Before submitting this form, you should first download and install
the B-Toolkit and have followed the instructions for obtaining
the hardware code of the platform on which you want to run
the evaluation.

If you are requesting an evaluation licence associated with the book
The B Method: An Introduction make sure the Book Request
is checked as Yes, when you will be asked questions about the book
in return for an extended licence.

Complete all fields of the form below before submitting the request.