Prover Diagrams
From Event-B
Revision as of 13:46, 5 May 2009 by imported>Andy
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.