Rodin Handbook
Handbook Home
Feedback
Email Feedback
Handbook as PDF
Rodin Wiki
Rodin Download
Contact
This work is sponsored by the
Deploy Project
This work is licensed under a
Creative Commons Attribution 3.0 Unported License
Frequently Asked Questions
User Manual for Rodin v.2.3
User Manual for Rodin v.2.3
Feedback
4 Frequently Asked Questions
4.1 General Questions
4.1.1 What is Event-B?
4.1.2 What is the difference between Event-B and the B method?
4.1.3 What is Rodin?
4.1.4 Where does the Rodin name come from?
4.1.5 Where I can download Rodin?
4.1.6 How to contribute and develop?
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.4.1 Help! Proving is difficult!
4.4.2 How can I do a Proof by Induction?
4.4.3 Labels of proof tree nodes explained
4.5 Usage Questions
4.5.1 Where did the GUI window go?
4.5.2 Where vs. When: What’s going on?
User Manual for Rodin v.2.3
:
Frequently Asked Questions