We offer a range of training courses in formal methods, from a half-day introduction through to detailed courses in particular methods and to practical workshops on realistic development problems and training in the management of formal methods projects. These courses are offered both publicly and in-house for individual clients.

Our general formal methods modules include:

• Overview of Formal Methods
• Discrete Mathematics for Software Engineers

The following training modules are related to the use of the Z method of specification and development:

• Understanding Z Specifications
• Z for Software Engineers (with a shorter version for persons who just need to read and understand Z specifications)
• Z Specification Workshop