Difference between revisions of "Prover Diagrams"
From Event-B
Jump to navigationJump to searchimported>Andy |
imported>Andy |
||
| Line 1: | Line 1: | ||
This Page is Under Construction !!! | This Page is Under Construction !!! | ||
| − | Entity Relationship Diagrams for the Prover | + | <h1>Entity Relationship Diagrams for the Prover</h1> |
| − | These diagrams describe | + | 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. |
[[Image:ProofStatus.png|thumb|Proof Status Diagram]] | [[Image:ProofStatus.png|thumb|Proof Status Diagram]] | ||
Revision as of 13:46, 5 May 2009
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.
