Difference between revisions of "Prover Diagrams"
From Event-B
Jump to navigationJump to searchimported>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]] |