An interface for running and replaying scenarios in ProB

UML-B Project Diagram

Supports Event-B documentation in particular diagrams.

Animation of iUML-B StateMachine diagrams based on ProB

iUML-B-wide plugins such as branding etc.

This is the common framework that all iUML-B diagrams are based on

Event Refinement Structure Diagrams

Event-B Soton Organisation page