Model Checking Software

11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings

  • Susanne Graf
  • Laurent Mounier
Conference proceedings SPIN 2004

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

Table of contents

  1. Front Matter
  2. Invited Paper

    1. Reinhard Wilhelm
      Pages 1-4
  3. Heuristics and Probabilities

    1. Jaco Geldenhuys
      Pages 23-38
    2. Peter Leven, Tilman Mehler, Stefan Edelkamp
      Pages 39-56
    3. Peter C. Dillinger, Panagiotis Manolios
      Pages 57-75
  4. Improvements of SPIN

    1. Gerard J. Holzmann, Rajeev Joshi
      Pages 76-91
    2. Paul Gastin, Pierre Moro, Marc Zeitoun
      Pages 92-108
  5. Validation of Timed Systems

    1. Moez Krichen, Stavros Tripakis
      Pages 109-126
    2. Iulian Ober, Susanne Graf, Ileana Ober
      Pages 127-145
  6. Tool Papers

    1. Michael Jones, Eric Mercer
      Pages 146-150
    2. Hubert Garavel, Radu Mateescu
      Pages 151-157
    3. Grégory Batt, Damien Bergamini, Hidde de Jong, Hubert Garavel, Radu Mateescu
      Pages 158-163
  7. Abstraction and Symbolic Methods

    1. Corina S. Păsăreanu, Willem Visser
      Pages 164-181
    2. Dragan Bošnački, Natalia Ioustinova, Natalia Sidorova
      Pages 198-215
    3. Stefan Leue, Richard Mayr, Wei Wei
      Pages 216-233
  8. Applications

    1. Cormac Flanagan
      Pages 252-266
    2. Murali Rangarajan, Samar Dajani-Brown, Kirk Schloegel, Darren Cofer
      Pages 267-285
    3. Stephen F. Siegel, George S. Avrunin
      Pages 286-303
  9. Tutorials

    1. Theo C. Ruys, Gerard J. Holzmann
      Pages 304-305
    2. Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober
      Pages 306-307
  10. Back Matter

About these proceedings


Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis in Montr´ eal (1995), New Brunswick (1996), Enschede (1997), Paris (1998), Trento (1999), Toulouse (1999), Stanford (2000), Toronto (2001), Grenoble (2002) and Portland (2003). All but the ?rst SPIN workshop were organized as satellite events of larger conferences, in particular of CAV (1996), TACAS (1997), FORTE/PSTV (1998), FLOC (1999), the World Congress on Formal Methods (1999), FMOODS (2000), ICSE (2001, 2003) and ETAPS (2002). This year again, SPIN was held as a satellite event of ETAPS 2004. The co-location of SPIN workshops with conferences has proven to be very successful and has helped to disseminate SPIN model checking technology to wider audiences. Since 1999, the proceedings of the SPIN workshops have appeared in Springer-Verlag’s Lecture Notes in Computer Science series. The history of successful SPIN workshops is evidence for the maturing of model checking technology, not only in the hardware domain, but increasingly also in the software area. While in earlier years algorithms and tool development aroundtheSPINmodelcheckerwerethefocusofthisworkshopseries,forseveral years now the scope has been widened to include more general approaches to software model checking techniques and tools as well as applications. The SPIN workshop has become a forum for all practitioners and researchers interested in model checking based techniques for the validation and analysis of communication protocols and software systems.


C++ programming language Java SPIN SPIN model checking Unified Modeling Language (UML) abstract interpretation abstraction explicit model checking formal methods formal specification formal verification modal verification testing validation verification

Editors and affiliations

  • Susanne Graf
    • 1
  • Laurent Mounier
    • 2
  1. 1.VERIMAGGrenoble-GièresFrance
  2. 2.Vérimag LaboratoryGièresFrance

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-21314-7
  • Online ISBN 978-3-540-24732-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software