The successful transfer of advanced technology requires high-quality,
well-focussed training, tailored to each client's needs.

B-Core can provide, either on-site or at our offices, a variety of
training packages covering such topics as:

• introduction to rigorous methods of software development

• the use of set theory for systems engineering

• how to specify systems using the B language

• the construction of object-oriented systems

• design through refinement

• layered systems development

• proof of correctness of software systems