User Documentations Clause Samples

User Documentations. The material described in this section are related to user of the Event-B method, the RODIN platform and RODIN platform plug-ins. Event-B Language: The material is available at ▇▇▇▇://▇▇▇▇.▇▇▇▇▇-▇. org/index.php/Event-B_Language. There are an “Event-B Modelling Language” document and an “Event-B Mathematical Language” docu- ment. Moreover, there are sections at the website for “Modelling Tips” and “Proving Tips” which will be a place holder for material related to the topics. Currently, there is document in modelling tips about “Structured Types”. RODIN Platform The material related to the RODIN platform is available at ▇▇▇▇://▇▇▇▇.▇▇▇▇▇-▇.▇▇▇/index.php/Rodin_Platform. This in- cludes the “RODIN User Manual”, the “RODIN tutorial” and a docu- ment about “RODIN Provers”.