Advertisement

Model Checking Software

9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings

  • Dragan Bošnački
  • Stefan Leue
Conference proceedings SPIN 2002

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

Table of contents

  1. Front Matter
    Pages I-X
  2. Invited Talks

  3. Invited Tutorial

  4. Tutorial

  5. Software Model Checking

    1. David Basin, Stefan Friedrich, Marek Gawkowski, Joachim Posegga
      Pages 42-59
    2. Harry C. Li, Kathi Fisler, Shriram Krishnamurthi
      Pages 60-78
    3. Armelle Prigent, Franck Cassez, Philippe Dhaussy, Olivier Roux
      Pages 79-94
  6. Algorithms and Theoretical Foundations

    1. Wiebe van der Hoek, Michael Wooldridge
      Pages 95-111
    2. Alberto Lluch-Lafuente, Stefan Edelkamp, Stefan Leue
      Pages 112-127
    3. Benedikt Bollig, Martin Leucker, Michael Weber
      Pages 128-147
  7. Applications

    1. J. S. Pascoe, 1R. J. Loader, V. S. Sunderam
      Pages 148-169
    2. Hyun-Wook Jin, Ki-Seok Bang, Chuck Yoo, Jin-Young Choi, Ho-jung Cha
      Pages 170-186
  8. Work in Progress

    1. Olga Shumsky Matlin, Ewing Lusk, William McCune
      Pages 213-220
    2. D. Lugiez, P. Niebert, S. Zennou
      Pages 221-229
  9. Invited Industrial Presentations

  10. Model Checking Tools

    1. Alex Groce, Willem Visser
      Pages 242-245
    2. Tiziana Margaria, Oliver Niese, Bernhard Steffen
      Pages 250-253
    3. María del Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel
      Pages 254-257
  11. Back Matter
    Pages 259-259

About these proceedings

Introduction

The SPIN workshop series brings together researchers and practitioners int- ested in explicit state model checking technology as it is applied to the veri?- tion of software systems. Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis at Montr´ eal (1995), New Brunswick (1996), Enschede (1997), Paris (1998), Trento (1999), Toulouse (1999), Stanford (2000), andToronto(2001). Whilethe?rstSPINworkshopwasastand-aloneevent,later workshopshavebeenorganizedasmoreorlesscloselya?liatedeventswithlarger conferences, in particular with CAV (1996), TACAS (1997), FORTE/PSTV (1998), FLOC (1999), World Congress on Formal Methods (1999), FMOODS (2000), and ICSE (2001). This year, SPIN 2002 was held as a satellite event of ETAPS 2002, the European Joint Conferences on Theory and Practice of Software. 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 1 around the SPIN model checker were the focus of this workshop series, the scopehasrecentlywidenedtoincludemoregeneralapproachestosoftwaremodel checking. Current research in this area concentrates not so much on completely verifyingsystemmodels,butratheronanalyzingsourcecodeinordertodiscover software faults.

Keywords

Formal methods SPIN SPIN model checking abstract interpretation abstraction explicit model checking formal verification model model checking mu-calculus reduction software verification symbolic model checking systems verification verification

Editors and affiliations

  • Dragan Bošnački
    • 1
  • Stefan Leue
    • 2
  1. 1.Faculty of Mathematics and Computer ScienceEindhoven University of TechnologyMB EindhovenThe Netherlands
  2. 2.Institute for Computer ScienceAlbert-Ludwigs-University FreiburgFreiburgGermany

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-46017-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-43477-1
  • Online ISBN 978-3-540-46017-6
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site