Prover Diagrams: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Andy
No edit summary
imported>Andy
No edit summary
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 which classes have access to information in other classes
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.

Proof Status Diagram