resources
This is an old revision of the document!
Table of Contents
Resources
Use this page to list additional Resources that may be helpful to your students.
Event-B
- Event-B slides (this course uses a modified version of these slides)
Rodin Version 2.0.1
Rodin/Eclipse works on Win/Mac/Linux. Go to the Rodin install site. You should install:
- Core Rodin (follow the instructions)
- Atelier B provers
- AnimB
- Latex2B (Note that you also need a Latex app (e.g. Miktex 2.9 on Windows)
You can obtain a ready to run Rodin/Win32 version from SVN → Rodin
resources.1294181800.txt.gz · Last modified: 2011/01/04 22:56 by jonathan