This volume contains the proceedings of the 17th International SPIN Workshop
on Model Checking Software (SPIN 2010). The workshop was organized by and
held at the University of Twente, The Netherlands, on 27–29 September 2010.
The workshop was co-located with the 5th International Conference on Graph
Transformation (ICGT 2010) and several of its satellite workshops, and with
the joint PDMC and HiBi workshops, on Parallel and Distributed Methods for
verifiCation and on High-performance computational systems Biology.
The SPIN workshop is a forum for practitioners and researchers interested in
state-space analysis of software-intensive systems. This is applicable in particular
to concurrent and asynchronous systems, including protocols. The name of the
workshop reflects the SPIN model checking tool by Gerard J. Holzmann, which
won the ACM System Software Award 2001, and is probably the most widely
used industrial-strength model checker around.
The focus of the workshop is on theoretical advances and extensions, algorithmic
improvements, and empirical evaluation studies of (mainly) state-based
model checking techniques, as implemented in the SPIN model checker and other
tools. The workshop encourages interaction and exchange of ideas with all related
areas in software engineering. To this end, we co-located SPIN 2010 with
the graph transformation, and high-performance analysis communities.