id: 02087618
dt: a
an: 02087618
au: Ruys, Theo C.
ti: SPIN tutorial: How to become a SPIN doctor.
so: Bošnački, Dragan (ed.) et al., Model checking software. 9th international
    SPIN workshop, Grenoble, France, April 11‒13, 2002. Proceedings.
    Berlin: Springer (ISBN 3-540-43477-1). Lect. Notes Comput. Sci. 2318,
    6-13 (2002).
py: 2002
pu: Berlin: Springer
la: EN
cc: 
ut: 
ci: 
li: http://link.springer.de/link/service/series/0558/bibs/2318/23180006.htm
ab: Summary: 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.
rv: