resources
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
resources [2016/12/27 20:47] – jonathan | resources [2019/01/03 21:13] (current) – jonathan | ||
---|---|---|---|
Line 1: | Line 1: | ||
====== Resources ====== | ====== Resources ====== | ||
- | ====== Introduction ====== | + | For information on Event-B/ |
- | Start by watching this [[https:// | + | ====== SEL Virtual Machine ====== |
- | ====== Event-B/ | + | The SEL Virtual Machine is available |
- | + | ||
- | * [[http://www.event-b.org|Main Event-B website]] | + | |
- | * [[https:// | + | |
- | * [[http://wiki.event-b.org/ | + | |
- | * [[http:// | + | |
- | * [[https://www3.hhu.de/ | + | |
- | + | ||
- | ====== 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 | + | |
====== Other Resources ====== | ====== Other Resources ====== |
resources.1482871646.txt.gz · Last modified: 2016/12/27 20:47 by jonathan