Advertisement

Model Checking Software

18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings

  • Alex Groce
  • Madanlal Musuvathi
Conference proceedings SPIN 2011

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6823)

Table of contents

  1. Front Matter
  2. Invited Contributions

  3. Abstractions and State-Space Reductions

    1. Radu Mateescu, Anton Wijs
      Pages 2-19
    2. Fang Yu, Tevfik Bultan, Ben Hardekopf
      Pages 20-37
    3. Alfons Laarman, Jaco van de Pol, Michael Weber
      Pages 38-56
  4. Search Strategies

    1. Abhishek Udupa, Ankush Desai, Sriram Rajamani
      Pages 57-74
    2. Pavel Parízek, Ondřej Lhoták
      Pages 75-89
  5. PROMELA Encodings and Extensions

    1. Daniele Campana, Alessandro Cimatti, Iman Narasamdya, Marco Roveri
      Pages 90-107
  6. Applications of Model Checking

    1. Andreas Morgenstern, Klaus Schneider
      Pages 126-143
    2. Markus Weißmann, Stefan Bedenk, Christian Buckl, Alois Knoll
      Pages 161-176
  7. Tool Demonstrations

    1. Bob de Vos, Lennart C. L. Kats, Cornelis Pronk
      Pages 177-182
    2. Husain Aljazzar, Florian Leitner-Fischer, Stefan Leue, Dimitar Simeonov
      Pages 183-187
    3. Jiří Šimša, Randy Bryant, Garth Gibson
      Pages 188-193
  8. Back Matter

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 18th International SPIN workshop on Model Checking Software, SPIN 2011, held in Snowbird, UT, USA, in July 2011.

The 10 revised full papers presented together with 2 tool demonstration papers and 1 invited contribution were carefully reviewed and selected from 29 submissions. The papers are organized in topical sections on abstractions and state-space reductions; search strategies; PROMELA encodings and extensions; and applications of model checking.

Keywords

distributed systems formal verification multi-threading probabilistic models software verification

Editors and affiliations

  • Alex Groce
    • 1
  • Madanlal Musuvathi
    • 2
  1. 1.Oregon State UniversityCorvallisUSA
  2. 2.Microsoft ResearchRedmondUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-22306-8
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-22305-1
  • Online ISBN 978-3-642-22306-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site