Rodin Handbook
This work is sponsored by the Deploy Project
This work is licensed under a Creative Commons Attribution 3.0 Unported License
 |
|
 |
User Manual for Rodin v.2.3 |  |
 |
|
User Manual for Rodin v.2.3
Work in Progress
Handbook 
Rev: 13635
rodin-handbook@formalmind.com
handbook.event-b.org
- 1 Introduction
- 2 Tutorial
- 3 Reference
- 4 Frequently Asked Questions
- 4.1 General Questions
- 4.2 General Tool Usage
- 4.2.1 Do I lose my proofs when I clean a project?
- 4.2.2 How do I install external plug-ins without using Eclipse Update Manager?
- 4.2.3 The builder takes too long
- 4.2.4 What are the ASCII shortcuts for mathematical operators
- 4.2.5 Rodin (and Eclipse) doesn’t take into account the MOZILLA_FIVE_HOME environment variable
- 4.2.6 No More Handles
- 4.2.7 Software installation fails
- 4.3 Modeling
- 4.3.1 Witness for Xyz missing. Default witness generated
- 4.3.2 Identifier Xyz should not occur free in a witness
- 4.3.3 In INITIALISATION, I get Witness Xyz must be a disappearing abstract variable or parameter
- 4.3.4 I’ve added a witness for Xyz but it keeps saying “Identifier Xyz has not been defined”
- 4.3.5 How can I create a new Event-B Project?
- 4.3.6 How to remove a Event-B Project?
- 4.3.7 How to export an Event-B Project?
- 4.3.8 How to import a Event-B Project?
- 4.3.9 How to change the name of a Event-B Project?
- 4.3.10 How to create a Event-B Component
- 4.3.11 How to remove a Event-B Component
- 4.3.12 How to save a Context or a Machine
- 4.4 Proving
- 4.5 Usage Questions
- 5 Index
|
|
|
|
|
|