| Text | Download (236kB) |
 Handout | Print (2x2) | Dafny of the elevator |  Event-B model of the elevator |
COMP2214 - Lecture 16 - Event-B to Dafny
| Added By: |
Dr Son Hoang
|
|---|---|
| Date Added: | 11 Mar 2019 13:45 |
| Tags: | formal methods, software engineering |
| Viewing permissions: | University |
| Course codes: | COMP2214 |
| Link: | http://edshare.soton.ac.uk/id/eprint/19854 |
| Downloads & Views |  |
 |
