Model Checking Software

19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings

  • Alastair Donaldson
  • David Parker
Conference proceedings SPIN 2012
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7385)

Table of contents

  1. Front Matter
  2. Invited Contributions

    1. Thomas Ball, Nikolaj Bjørner, Leonardo de Moura, Kenneth L. McMillan, Margus Veanes
      Pages 1-6
    2. Paul Dan Marinescu, Cristian Cadar
      Pages 7-21
    3. Andreas Zeller
      Pages 23-23
  3. Model Checking Techniques

    1. Stefan Leue, Mitra Tabaei Befrouei
      Pages 24-42
    2. Sami Evangelista, Lars Michael Kristensen
      Pages 43-61
    3. Hao Zheng, Emmanuel Rodriguez, Yingying Zhang, Chris Myers
      Pages 62-79
  4. Parallel Model Checking 1

    1. Alexander Ditter, Milan Češka, Gerald Lüttgen
      Pages 80-97
  5. Case Studies

    1. Theo C. Ruys, Pim Kars
      Pages 117-136
  6. Parallel Model Checking 2

    1. Gerard J. Holzmann
      Pages 155-171
    2. Ethan Burns, Rong Zhou
      Pages 172-190
  7. Model Checking for Concurrency

    1. Reng Zeng, Zhuo Sun, Su Liu, Xudong He
      Pages 191-207
    2. Divjyot Sethi, Muralidhar Talupur, Daniel Schwartz-Narbonne, Sharad Malik
      Pages 208-226
  8. Tool Demonstrations

    1. Jonathan Bogdoll, Alexandre David, Arnd Hartmanns, Holger Hermanns
      Pages 227-233
    2. Martin Sulzmann, Axel Zechner
      Pages 241-247
    3. Jürgen Christ, Jochen Hoenicke, Alexander Nutz
      Pages 248-254

About these proceedings

Introduction

This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations.

Keywords

automated debugging formal testing model-driven engineering probabilistic model checking software verification

Editors and affiliations

  • Alastair Donaldson
    • 1
  • David Parker
    • 2
  1. 1.Department of ComputingImperial College LondonLondonUK
  2. 2.School of Computer ScienceUniversity of BirminghamEdgbastonUK

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-31759-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-31758-3
  • Online ISBN 978-3-642-31759-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book