B2Visidia Help
Edition
- To import a BUM File: Use the "Import" Button, the translate is automatic
- Create new Event B:
- after the keyword MACHINE: Specify the name of the algorithm,
- you can specify the synchronization by the keywords: #LC0, #LC1, #LC2,
- you must specify specify the type of invariants with #String,#Bool,#int
- buttons at the bottom of the window are there to help you
- Save and Open you Event B code<\u> with the buttons associated
- Check you Code<\u>
- Translate<\u>
- 1st window: Choose the synchronization,
- 2th window: Instantiate the node if you want,
- last window: Choose the location where the java file will be saved and write a little description.