Prover Diagrams

From Event-B
Revision as of 13:51, 5 May 2009 by imported>Andy
Jump to navigationJump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

This Page is Under Construction !!!

Entity Relationship Diagrams for the Prover

These diagrams describe the relationships between classes/interfaces - in terms of access to information in related classes. The diagrams are not fully descriptive like a UML class diagram, but contain sufficient information to begin to understand the structural relationships within the RODIN proof tool. The diagrams were produced as an aid to visualising these relationships in order to better understand the structure.

Proof Status Diagram