Model Checking Software

13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings

  • Antti Valmari
Conference proceedings SPIN 2006

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

Table of contents

  1. Front Matter
  2. Directed Model Checking

    1. Stefan Edelkamp, Shahid Jabbar
      Pages 1-18
    2. Klaus Dräger, Bernd Finkbeiner, Andreas Podelski
      Pages 19-34
    3. Sebastian Kupferschmid, Jörg Hoffmann, Henning Dierks, Gerd Behrmann
      Pages 35-52
    4. Jaco Geldenhuys, Henri Hansen
      Pages 53-70
  3. Markovian Systems

    1. Harald Fecher, Martin Leucker, Verena Wolf
      Pages 71-88
  4. Distributed Model Checking

    1. Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert Mike Kirby, Ganesh Gopalakrishnan
      Pages 108-125
    2. Christophe Joubert, Radu Mateescu
      Pages 126-145
  5. Advanced Handling of Data Aspects

    1. Alessandro Armando, Jacopo Mantovani, Lorenzo Platania
      Pages 146-162
    2. Saswat Anand, Corina S. Păsăreanu, Willem Visser
      Pages 163-181
    3. Pedro de la Cámara, María del Mar Gallardo, Pedro Merino
      Pages 182-200
  6. Applications

    1. Simon Bäumler, Michael Balser, Andriy Dunets, Wolfgang Reif, Jonathan Schmitt
      Pages 219-233
  7. Assume–Guarantee

    1. Corina S. Păsăreanu, Dimitra Giannakopoulou
      Pages 234-251
  8. Partial Order Reduction

    1. Ritwik Bhattacharya, Steven M. German, Ganesh Gopalakrishnan
      Pages 252-270
    2. Dragan Bošnački, Stefan Leue, Alberto Lluch Lafuente
      Pages 271-287
  9. Tool Demonstrations

    1. Aleksandar Dimovski, Dan R. Ghica, Ranko Lazić
      Pages 288-292
    2. Christian Topnik, Eva Wilhelm, Tiziana Margaria, Bernhard Steffen
      Pages 293-298
    3. Harmen Kastenberg, Arend Rensink
      Pages 299-305
  10. Back Matter

About these proceedings


The name “SPIN” refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an annual forum for practitioners and researchersinterested in state space-based techniques for the validation and analysis of software and hardware systems, including communication protocols. It focuses on techniques based on explicit representations of state spaces, as implemented in the SPIN model checker or other tools, and techniques based on a combination of explicit representations with other representations. The SPIN model checker has proven to be particularly suited for the analysis of concurrent asynchronous systems. The workshop aims to encourage interaction and exchange of ideas with all related areas in software engineering. To promote interaction even further, many SPIN workshops have been held in conjunction with other meetings. The 13th International SPIN Workshop on Model Checking of Software was held in Vienna, Austria, co-located with the European Joint Conferences on Theory and Practice of Software (ETAPS) 2006. The earlier SPIN workshops were held in Montreal, Canada (1995); Rutgers University, USA (1996); Twente University, The Netherlands (1997); ENST, Paris, France (1998); Trento, Italy (1999); Toulouse, France (1999); Stanford University, USA (2000); Toronto, Canada (2001); Grenoble, France (2002); Portland, Oregon, USA (2003); Barcelona,Spain(2004);andSanFrancisco,USA(2005).Theproceedingsofthe Trento and Toulouse workshops were published together in Springer’s Lecture Notes in Computer Science volume 1680. From then on, each SPIN proceedings has been published as an individual LNCS volume.


Erfüllbarkeitsproblem der Aussagenlogik SPIN SPIN model checking abstract interpretation abstraction algorithm algorithms automata distributed model checking explicit model checking formal methods modal verification structured analysis testing verification

Editors and affiliations

  • Antti Valmari
    • 1
  1. 1.Institute of Software SystemsTampere University of TechnologyTampereFinland

Bibliographic information

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