Low-fat recipes for spin

Theo C. Ruys

doi:10.1007/10722468_17

Low-fat recipes for spin

Theo C. Ruys^*

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

9 Citations (Scopus)

Abstract

Since the introduction of the first version of the model checker SPIN in 1991, many papers have been written on improvements to the tool and on industrial applications of the tool. Less attention has been given to the pragmatic use of SPIN. This paper presents several techniques to optimise both the modelling and verification activities when using SPIN.

Original language	English
Title of host publication	SPIN Model Checking and Software Verification
Subtitle of host publication	7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings
Editors	Klaus Havelund, John Penix, Willem Visser
Publisher	Springer
Pages	287-321
Number of pages	35
ISBN (Electronic)	978-3-540-45297-3
ISBN (Print)	978-3-540-41030-0
DOIs	https://doi.org/10.1007/10722468_17
Publication status	Published - 2000
Event	7th International SPIN Workshop on Model Checking and Software Verification 2000 - Stanford, United States Duration: 30 Aug 2000 → 1 Sep 2000 Conference number: 7

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	1885
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	7th International SPIN Workshop on Model Checking and Software Verification 2000
Country/Territory	United States
City	Stanford
Period	30/08/00 → 1/09/00

Access to Document

10.1007/10722468_17

Ruys2000low-fatAccepted author version, 356 KB

Cite this

@inproceedings{a12319a39db34ed88782d1e54cb63103,

title = "Low-fat recipes for spin",

abstract = "Since the introduction of the first version of the model checker SPIN in 1991, many papers have been written on improvements to the tool and on industrial applications of the tool. Less attention has been given to the pragmatic use of SPIN. This paper presents several techniques to optimise both the modelling and verification activities when using SPIN.",

author = "Ruys, {Theo C.}",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2000.; 7th International SPIN Workshop on Model Checking and Software Verification 2000 ; Conference date: 30-08-2000 Through 01-09-2000",

year = "2000",

doi = "10.1007/10722468_17",

language = "English",

isbn = "978-3-540-41030-0",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "287--321",

editor = "Klaus Havelund and John Penix and Willem Visser",

booktitle = "SPIN Model Checking and Software Verification",

}

Ruys, TC 2000, Low-fat recipes for spin. in K Havelund, J Penix & W Visser (eds), SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings. Lecture Notes in Computer Science, vol. 1885, Springer, pp. 287-321, 7th International SPIN Workshop on Model Checking and Software Verification 2000, Stanford, California, United States, 30/08/00. https://doi.org/10.1007/10722468_17

Low-fat recipes for spin. / Ruys, Theo C.

SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings. ed. / Klaus Havelund; John Penix; Willem Visser. Springer, 2000. p. 287-321 (Lecture Notes in Computer Science; Vol. 1885).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Low-fat recipes for spin

AU - Ruys, Theo C.

N1 - Conference code: 7

PY - 2000

Y1 - 2000

N2 - Since the introduction of the first version of the model checker SPIN in 1991, many papers have been written on improvements to the tool and on industrial applications of the tool. Less attention has been given to the pragmatic use of SPIN. This paper presents several techniques to optimise both the modelling and verification activities when using SPIN.

AB - Since the introduction of the first version of the model checker SPIN in 1991, many papers have been written on improvements to the tool and on industrial applications of the tool. Less attention has been given to the pragmatic use of SPIN. This paper presents several techniques to optimise both the modelling and verification activities when using SPIN.

UR - http://www.scopus.com/inward/record.url?scp=84947288420&partnerID=8YFLogxK

U2 - 10.1007/10722468_17

DO - 10.1007/10722468_17

M3 - Conference contribution

SN - 978-3-540-41030-0

T3 - Lecture Notes in Computer Science

SP - 287

EP - 321

BT - SPIN Model Checking and Software Verification

A2 - Havelund, Klaus

A2 - Penix, John

A2 - Visser, Willem

PB - Springer

T2 - 7th International SPIN Workshop on Model Checking and Software Verification 2000

Y2 - 30 August 2000 through 1 September 2000

ER -

Low-fat recipes for spin

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this