Spin Online References

# `Spin Online References`

The purpose of this online manual is to provide a single comprehensive online reference for Spin users. 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 Run-Time Verification Options Pan's Output Format

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:

- Basic Spin Manual, a general introduction to language and tool,
- A concise language reference for Promela,
- Guidelines for verification with Xspin
- Guidelines for verification directly with Spin, without graphical interface
- Summary of changes since Version 1.0
- A sample set of exercises with Spin