resources
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
resources [2017/01/03 03:24] – jonathan | resources [2019/01/03 21:13] (current) – jonathan | ||
---|---|---|---|
Line 3: | Line 3: | ||
For information on Event-B/ | For information on Event-B/ | ||
- | ====== | + | ====== |
- | Event-B | + | The SEL Virtual Machine |
- | + | ||
- | Start by watching this [[https:// | + | |
- | + | ||
- | ===== More Videos ===== | + | |
- | + | ||
- | * [[https://www.youtube.com/ | + | |
- | + | ||
- | * [[https:// | + | |
- | + | ||
- | * [[https:// | + | |
- | + | ||
- | * [[https:// | + | |
- | + | ||
- | * [[https:// | + | |
- | + | ||
- | ====== Event-B/Rodin ====== | + | |
- | + | ||
- | * [[http:// | + | |
- | * [[https:// | + | |
- | * [[http://wiki.event-b.org/ | + | |
- | * [[http:// | + | |
- | * [[https:// | + | |
- | + | ||
- | ====== Install Rodin ====== | + | |
- | + | ||
- | Rodin is available on the Prism Workstations and the SEL Virtual Machine | + | |
- | + | ||
- | 1. Download Rodin for your platform and install. | + | |
- | + | ||
- | 2. Install | + | |
- | Uncheck the Contact all update sites during install | + | |
- | Click on the Work with dropdown list and select the Atelier B provers update site. | + | |
- | Select Atelier B provers in the list (tick the left check boxes) and click Next | + | |
- | After some time, the Install window opens. Just click Next, and accept the terms in the license agreement. Click Finish. The update manager downloads the Atelier B Provers feature. Finally, in the next window, click Yes to restart the platform. [[http:// | + | |
- | + | ||
- | 3. Install ProB and AnimB | + | |
- | + | ||
- | 4. Install B2Latex. In the install new plugins it is found under: Rodin - http:// | + | |
- | + | ||
- | 5. Install SMT Solvers | + | |
- | + | ||
- | + | ||
- | ====== Rodin Manual Entries====== | + | |
- | * [[https:// | + | |
====== Other Resources ====== | ====== Other Resources ====== |
resources.1483413878.txt.gz · Last modified: 2017/01/03 03:24 by jonathan