COMP2111: System Modelling & Design
May 8, 2012
EventB Directories ![[Picture]](../Icons/pdf.gif){kind=icon}
- EventB Concise Summary
- This summary aims to summarise all of EventB
on a single double-sided sheet of paper.
- EventB reference card. Print back to back.
- EventB Concise summary. Full page version
- Set Theory Theorems
- Set Theory Theorems
- Set Theory Context
- SetTheory Context.
- System Modelling & Design textbook
- SM&D-KAR.pdf can be found here. The most recent version is February 26 2012.
- Rodin manual
- This manual is the official manual for the Rodin toolkit.
- EventB Language document
- EventB Language.
- bsymb.sty
- LATEX markup package for Event-B.