SPIN Tutorial: How to Become a SPIN Doctor

Authors:
Theo C. Ruys
Affiliations:
-
Venue:
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
Year:
2002

Citing 4
Cited 1

Design and validation of computer protocols

Design and validation of computer protocols
Design and validation of protocols: a tutorial

Computer Networks and ISDN Systems - Special issue on protocol specification, testing and verification
The Model Checker SPIN

IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Low-Fat Recipes for SPIN

Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification

A Semantics-based Translation Method for Automated Verification of SystemC TLM Designs

Journal of Electronic Testing: Theory and Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.