Preface

[Unknown] Unknown

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

    18 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 languageUndefined
    Title of host publication17th International SPIN Workshop on Model Checking Software
    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

    • METIS-279115
    • IR-73565
    • EWI-18527
    • CR-D.2.4
    • FMT-MC: MODEL CHECKING

    Cite this

    Unknown, U. (2010). Preface. In J. C. van de Pol, J. C. van de Pol, M. Weber, & M. Weber (Eds.), 17th International SPIN Workshop on Model Checking Software (pp. v-vi). (Lecture Notes in Computer Science; Vol. 6349). Berlin: Springer. https://doi.org/10.1007/978-3-642-16164-3