- 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 Witness Xyz must be a disappearing abstract variable or parameter in the INITIALISATION event
- 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 can I remove a Event-B Project?
- 4.3.7 How can I export an Event-B Project?
- 4.3.8 How can I import a Event-B Project?
- 4.3.9 How can I change the name of a Event-B Project?
- 4.3.10 How can I create a Event-B Component?
- 4.3.11 How can I remove a Event-B Component?
- 4.3.12 In the new Rodin Editor, how can I add an element to machine?
- 4.3.13 How can I use multiple lines for a comment, predicate or expression (using the new editor)?
- 4.3.14 How can I save a Context or a Machine?
Work sponsored by the Deploy Project
| 
Handbook as PDF
| 
Rodin Wiki
|
Creative Commons License
|
Feedback