The B-Toolkit, developed by Ib Holm Sørensen et al., 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 for GUI management and runs primarily on the Linux and Solaris operating systems. It has been developed by the UK based company B-Core (UK) Limited.
Read more about this topic: B-Method