| CARVIEW |
Select Language
HTTP/2 301
date: Wed, 21 Jan 2026 11:11:33 GMT
content-type: text/html; charset=iso-8859-1
location: https://spinroot.com/spin/Man/
server: cloudflare
x-frame-options: SAMEORIGIN
content-security-policy: frame-ancestors 'self';
cf-cache-status: DYNAMIC
nel: {"report_to":"cf-nel","success_fraction":0.0,"max_age":604800}
report-to: {"group":"cf-nel","max_age":604800,"endpoints":[{"url":"https://a.nel.cloudflare.com/report/v4?s=l2aPIT9DyQ0Fbe73MmW3Nhm7bvCt3iPiLgDkawZjnFVpEB8IQ90pLbUjDkIzSZC8HGDtUaS2frJ6MIz%2BZVu5NHhTtlmKKtxvY%2FSdxw%3D%3D"}]}
cf-ray: 9c165f148c3e11ee-BOM
alt-svc: h3=":443"; ma=86400
HTTP/2 200
date: Wed, 21 Jan 2026 11:11:35 GMT
content-type: text/html
server: cloudflare
x-frame-options: SAMEORIGIN
content-security-policy: frame-ancestors 'self';
last-modified: Wed, 30 May 2012 00:47:38 GMT
report-to: {"group":"cf-nel","max_age":604800,"endpoints":[{"url":"https://a.nel.cloudflare.com/report/v4?s=0J6IYVzsWvRMVCuf8ICIXED%2FcxoIm9YTkXbMssAr%2BizaitKIPknGQub5wDX%2FvVjJHLZhU4M6KqiFwrPGtLBqGIkAV6erZxkrcfHZxw%3D%3D"}]}
x-content-type-options: nosniff
x-xss-protection: 1; mode=block
cf-cache-status: DYNAMIC
nel: {"report_to":"cf-nel","success_fraction":0.0,"max_age":604800}
content-encoding: gzip
cf-ray: 9c165f19780e11ee-BOM
alt-svc: h3=":443"; ma=86400
Spin Online References
The purpose of this online manual is to provide a single comprehensive online reference for Spin users.
It documents Spin version 4. It consists of three main parts, the first being the most detailed.
The above material is not tutorial in nature, but meant as a reference for those familiar with the basic concepts.
A more gentle introduction can be found in, for instance:
More advanced features, for instance the use of Spin's multi-core options, can be found here:
Spin Online References
The purpose of this online manual is to provide a single comprehensive online reference for Spin users.
It documents Spin version 4. It consists of three main parts, the first being the most detailed.
Promela: | Man-Pages and Semantics Definition |
Spin: | Run-Time Options |
Pan: |
Compile-Time Options |
The above material is not tutorial in nature, but meant as a reference for those familiar with the basic concepts.
A more gentle introduction can be found in, for instance:
- The new Spin book the definitive description of the current version of Spin
- Overview.pdf, a tutorial overview to spin by Moti Ben-Ari,
- Tutorial_1.pdf, a tutorial introduction to spin (1 Mb) by Theo Ruys,
- Tutorial_2.pdf, advanced tutorial (880Kb) by Theo Ruys,
- SpinIntro.pdf, a introduction to the algorithms used in spin (600K) by John Hatcliff,
- Basic Spin Manual, a general introduction to language and tool,
- Concise language reference by Rob Gerth
- Guidelines for verification with Xspin
- Quick Reference, a quick reference of Spin compile and runtime options (43 Kb) by A. Burak Gurdag
- Guidelines for verification directly with Spin, without graphical interface
- Summary of changes since Version 1.0 Covering the updates made for Spin Versions 2 and 3.
- A sample set of exercises with Spin
- Hints on the specification of Invariants, in man-page style.
More advanced features, for instance the use of Spin's multi-core options, can be found here:
- Multi-core depth-first search
- Multi-core breadth-first search
- Multi-core swarm search
- Modeling Priority-Based embedded software
| Return to Spin HomePage | (Last update: 29 May 2012) |