Abstract
The Spin tool set (Spin and Xspin) was used to validate parts of the design of a storm surge barrier control system, in particular the communication interfaces with the outside world. Promela combined with Z is used to specify crucial aspects of the design. In this talk we outline our experience with the use of Spin and Promela, and discuss some ideas for extensions/improvements.
| Original language | English |
|---|---|
| Pages | 5 |
| Publication status | Published - 16 Oct 1995 |
| Event | 1st SPIN Workshop 1996 - Montreal, Canada Duration: 16 Oct 1995 → 16 Oct 1995 Conference number: 1 |
Conference
| Conference | 1st SPIN Workshop 1996 |
|---|---|
| Abbreviated title | SPIN95 |
| Country/Territory | Canada |
| City | Montreal |
| Period | 16/10/95 → 16/10/95 |