Prover Diagrams
From Event-B
This Page is Under Construction !!!
Entity Relationship Diagrams for the Prover
These diagrams describe the relationships between classes/interface - in terms of access to information in related classes. The diagrams were produced as an aid to visualising these relationships in order to better understand the structure of the RODIN prover.
