Difference between pages "Prover Diagrams" and "Qualitative Probability User Guide"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Andy
 
imported>Son
 
Line 1: Line 1:
−
This Page is Under Construction !!!
+
Please see [[Event-B Qualitative Probability User Guide]].
−
 
 
−
<h1>Entity Relationship Diagrams for the Prover</h1>
 
−
 
 
−
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.
 
−
 
 
−
[[Image:ProofStatus.png|thumb|Proof Status Diagram]]
 

Latest revision as of 20:11, 25 July 2017

Please see Event-B Qualitative Probability User Guide.

Retrieved from ‘https://wiki.event-b.org/index.php?title=Prover_Diagrams&oldid=6667’