course_outline
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| course_outline [2017/04/03 04:15] – jonathan | course_outline [2017/12/27 18:17] (current) – jonathan | ||
|---|---|---|---|
| Line 4: | Line 4: | ||
| ===== Introduction ===== | ===== Introduction ===== | ||
| - | * {{: | ||
| + | Use this small project to get started with Event-B and the Rodin tool | ||
| + | |||
| + | * {{: | ||
| + | * [[https:// | ||
| ===== Reactive systems: Bridge ===== | ===== Reactive systems: Bridge ===== | ||
| Line 74: | Line 77: | ||
| ===== Exam Preparation ===== | ===== Exam Preparation ===== | ||
| + | |||
| + | The following examples are unlikely to be on the exam. | ||
| Develop a phone book example by developing a mathematical model from informal E/ | Develop a phone book example by developing a mathematical model from informal E/ | ||
| Line 87: | Line 92: | ||
| *R2: A doctor shall not prescribe two drugs that interact | *R2: A doctor shall not prescribe two drugs that interact | ||
| *Goal: | *Goal: | ||
| - | |||
course_outline.1491192939.txt.gz · Last modified: 2017/04/03 04:15 by jonathan