B is short for The B-Technologies, a method and a tool-set
for computer aided software engineering.

B (comprising three components - the B-Method, the B-Tool
and the B-Toolkit) is a sound mathematically-based technology for
application within a practical Software Process.

The B-Method is designed to provide a notation and a method for
requirement modeling, software interface specification, software
design, implementation and maintenance, thus supporting the major
phases of a software process. Incremental construction of layered
software as well as its incremental verification and validation are
the guiding principles of the B-Method.

The B-Toolkit supports the method over the entire software process
and comprises a large suite of tools which can run automatically or
interactively. All tools are integrated into a window-based
development environment. The tool supports the incremental
construction of the software. The validation processes are supported
by static analysis which employ and checking, by dynamic analysis
using simulation, as well as proof of correctness using an integrated
theorem prover (the B-ToolProvers).