© 2012

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


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.


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

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment