Preface

[Unknown] Unknown

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

7 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
Unknown, [Unknown]. / Preface. 17th International SPIN Workshop on Model Checking Software. editor / Jan Cornelis van de Pol ; J.C. van de Pol ; Michael Weber ; M. Weber. Berlin : Springer, 2010. pp. v-vi (Lecture Notes in Computer Science).
@inproceedings{99f40620f7424420b09ff85075ebae9d,
title = "Preface",
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.",
keywords = "METIS-279115, IR-73565, EWI-18527, CR-D.2.4, FMT-MC: MODEL CHECKING",
author = "[Unknown] Unknown",
note = "10.1007/978-3-642-16164-3",
year = "2010",
month = "9",
doi = "10.1007/978-3-642-16164-3",
language = "Undefined",
isbn = "978-3-642-16163-6",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "v--vi",
editor = "{van de Pol}, {Jan Cornelis} and {van de Pol}, J.C. and Michael Weber and M. Weber",
booktitle = "17th International SPIN Workshop on Model Checking Software",

}

Unknown, U 2010, Preface. in JC van de Pol, JC van de Pol, M Weber & M Weber (eds), 17th International SPIN Workshop on Model Checking Software. Lecture Notes in Computer Science, vol. 6349, Springer, Berlin, pp. v-vi, 17th International SPIN Workshop on Model Checking Software 2010, Enschede, Netherlands, 27/09/10. https://doi.org/10.1007/978-3-642-16164-3

Preface. / Unknown, [Unknown].

17th International SPIN Workshop on Model Checking Software. ed. / Jan Cornelis van de Pol; J.C. van de Pol; Michael Weber; M. Weber. Berlin : Springer, 2010. p. v-vi (Lecture Notes in Computer Science; Vol. 6349).

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

TY - GEN

T1 - Preface

AU - Unknown, [Unknown]

N1 - 10.1007/978-3-642-16164-3

PY - 2010/9

Y1 - 2010/9

N2 - 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.

AB - 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.

KW - METIS-279115

KW - IR-73565

KW - EWI-18527

KW - CR-D.2.4

KW - FMT-MC: MODEL CHECKING

U2 - 10.1007/978-3-642-16164-3

DO - 10.1007/978-3-642-16164-3

M3 - Conference contribution

SN - 978-3-642-16163-6

T3 - Lecture Notes in Computer Science

SP - v-vi

BT - 17th International SPIN Workshop on Model Checking Software

A2 - van de Pol, Jan Cornelis

A2 - van de Pol, J.C.

A2 - Weber, Michael

A2 - Weber, M.

PB - Springer

CY - Berlin

ER -

Unknown U. Preface. In van de Pol JC, van de Pol JC, Weber M, Weber M, editors, 17th International SPIN Workshop on Model Checking Software. Berlin: Springer. 2010. p. v-vi. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-642-16164-3