ADVANCE Training Material

An Introduction to using Event-B for Cyber-Physical System Specification and Design

  • Slides by John Colley and Michael Butler: here
  • Tutorial paper by John Colley: here

 A Formal, Systematic Approach to STPA using Event-B Refinement and Proof:

Mastering System Analysis and Design through Abstraction and Refinement:

Guidelines for Decomposition of Control System Models in Event-B

Theory Plug-in Guidelines

  • Slides by Michael Butler, Asieh Salehi, Jean-Raymond Abrial: here

Multi-Simulation in Rodin

  • MultiSim plug-in slides by Vitaly Savicks: here

ADVANCE Discrete Event Simulation Training:


Training for Code Generation: Using Tasking Event-B

  • Slides by Andy Edmunds: here

Training for using iUML-B Modelling tools

Rodin Handbook

Support for plug-in developers

ProB Data Validation Tutorial

ProB User manual

ProB Tutorial

ProB Developer Manual