The B-Toolkit is a collection of programming tools designed to support the use of the B-Tool, a set theory based mathematical interpreter, for the purposes of a formal software engineering methodology known as the B-Method. The toolkit uses a custom X Window Motif Interface [1] for GUI management and runs primarily on the Linux and Solaris operating systems. It has been developed by the UK based company B-Core Limited.
