resources
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
resources [2016/12/29 03:03] – jonathan | resources [2019/01/03 21:13] (current) – jonathan | ||
---|---|---|---|
Line 1: | Line 1: | ||
====== Resources ====== | ====== Resources ====== | ||
- | ====== Introduction ====== | + | For information on Event-B/ |
- | Event-B is concerned with formalizing specifications. Formal models allow us to perform a more rigorous analysis of our system (thereby improving the quality) and allows us to reuse the specification in the development of an implementation. This comes at the cost of higher up-front investments. This differs from the traditional development process. In a formal development, | + | ====== SEL Virtual Machine ====== |
- | Start by watching this [[https:// | + | The SEL Virtual Machine is available |
- | + | ||
- | ===== 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.1482980588.txt.gz · Last modified: 2016/12/29 03:03 by jonathan