ADVANCE Training Material
An Introduction to using Event-B for Cyber-Physical System Specification and Design
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
- Movie: Using the iUML Statemachine plug-in by Colin Snook
Rodin Handbook
Support for plug-in developers
- Slides on Event-B EMF frameworks for extensions by Colin Snook
ProB Data Validation Tutorial
ProB User manual
ProB Tutorial
ProB Developer Manual
- Wiki page with further links: www.stups.uni-duesseldorf.de/ProB/index.php5/Developer_Manual