The effective use of the B-Toolkit within a practical software
engineering environment frequently requires adaptation of the tools,
or the provision of new ones. For example, automatic translators of B
designs into target language programs.

• The design and creation of such tools are among B-Core's
  key areas of practice.

Innovation is also required where existing methods have to be adjusted
to accommodate the B-Method of software development. For example,
replacing inspection procedures by tool supported verification
processes.

• B-Core offers advice and consultancy in this area based on its
  extensive experience of working with major systems developers.

Working and remaining at the leading edge of best practice in CASE
requires continual research into techniques for specifying, designing
and analysing system descriptions.

• B-Core's clients benefit from the company's expertise and
  high-profile research activities in this domain.