Please note that the B-Toolkit will not run without an appropriate licence, which may be either:

• A hardware licence: see Evaluation Licences, or

• A software licence: comprising the BToolkitd Licence Daemon (a component of
  the B-Toolkit Release) together with a licence file obtained directly from B-Core

The following current versions of the B-Toolkit are available for download:

 Linux statically bound

 Solaris SunOS 5.6 dynamically bound for Sun platforms

 Solaris SunOS 5.7 dynamically bound for Sun platforms

 Solaris dynamically bound for X86 platforms

For other platforms, please contact B-Core

The following are also available for download:

 The B-Toolkit User Manual (dvi)

 The B-Toolkit User Manual (postscript)

 The B-Method Reference Manual (dvi)

 The B-Method Reference Manual (postscript)

 B-Tool-Manuals: Reference, User and Tutorial (dvi)

 The recent paper "B: Towards Zero Defect Software" (postscript)

Running

Instructions for Running the B-Toolkit

For all other information, please contact B-Core