SPIN is a model checker for the verification of software systems. SPIN uses a high level language called PROMELA to specify systems descriptions. The goal of this tutorial is to introduce novice users to both PROMELA and SPIN. The tutorial itself is divided into two parts. The BASIC SPIN part is targeted towards novice users of SPIN. The ADVANCED SPIN< part of the tutorial could also be of considerable interest to intermediate SPIN users.
|Number of pages||8|
|Publication status||Published - 2002|
|Event||9th International SPIN Workshop on Model Checking Software 2002 - Grenoble, France|
Duration: 11 Apr 2002 → 13 Apr 2002
Conference number: 9
|Workshop||9th International SPIN Workshop on Model Checking Software 2002|
|Period||11/04/02 → 13/04/02|
- FMT-MC: MODEL CHECKING
Ruys, T. C., Bosnacki, D. (Ed.), & Leue, S. (Ed.) (2002). SPIN Tutorial: How to Become a SPIN Doctor. 6-13. Paper presented at 9th International SPIN Workshop on Model Checking Software 2002, Grenoble, France.