Preface

Jaco van de Pol, Michael Weber

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

27 Downloads (Pure)

Abstract

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 various satellite workshops, and with the combined 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 a-synchronous 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.
Original languageEnglish
Title of host publicationModel Checking Software
Subtitle of host publication17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
EditorsJan Cornelis van de Pol, J.C. van de Pol, Michael Weber, M. Weber
Place of PublicationBerlin
PublisherSpringer
Pagesv-vi
Number of pages2
ISBN (Print)978-3-642-16163-6
DOIs
Publication statusPublished - Sep 2010
Event17th International SPIN Workshop on Model Checking Software 2010 - University of Twente, Enschede, Netherlands
Duration: 27 Sep 201029 Sep 2010
Conference number: 17

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
Volume6349
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Workshop

Workshop17th International SPIN Workshop on Model Checking Software 2010
CountryNetherlands
CityEnschede
Period27/09/1029/09/10

Keywords

  • CR-D.2.4
  • FMT-MC: MODEL CHECKING

Fingerprint Dive into the research topics of 'Preface'. Together they form a unique fingerprint.

Cite this