Demonstration of the B-Toolkit

Demonstration of the B-Toolkit

Ib Holm Sørensen

In 6th NWPT, pages 482-483


The B-Toolkit is a suite of integrated programs which implement the B-Method for Software Development. The B-Method is a collection of formal techniques which give a basis to those activities of Software Development that range from technical software specification, through design and integration, to code generation and into maintenance. The B-Method and the specification language AMN ( Abstract Machine Notation ) are in many respects similar to other ``model oriented'' formal methods. They employ a conventional ``pseudo'' programming style. The B-Tool is a language interpreter for the B Theory Language. This language is a special purpose language for writing interactive and automatic proof assistants and other systems where pattern matching, substitution and re-write mechanisms can be used. The B-Toolkit's component tools are implemented in the B Theory Language and is interpreted by the B-Tool.

B-Core Limited, Magdalen Centre, Oxford Science Park, Oxford OX4 4GA, United Kingdom. Email:

Available as PostScript, DVI.

[BRICS symbol] BRICS WWW home page