Prover Diagrams: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Andy
No edit summary
imported>Andy
No edit summary
Line 4: Line 4:


These diagrams describe which classes have access to information in other classes
These diagrams describe which classes have access to information in other classes
[[Image:ProofStatus.png|thumb|Proof Status Diagram]]

Revision as of 13:42, 5 May 2009

This Page is Under Construction !!!

Entity Relationship Diagrams for the Prover

These diagrams describe which classes have access to information in other classes

Proof Status Diagram