Difference between revisions of "Prover Diagrams"

From Event-B
Jump to navigationJump to search
imported>Andy
imported>Andy
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