Model Checking Software

10th International SPIN Workshop Portland, OR, USA, May 9–10, 2003 Proceedings

  • Thomas Ball
  • Sriram K. Rajamani
Conference proceedings SPIN 2003

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

Table of contents

  1. Front Matter
    Pages I-VIII
  2. Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng, Min Deng
    Pages 18-33
  3. Samar Dajani-Brown, Darren Cofer, Gary Hartmann, Steve Pratt
    Pages 34-48
  4. Ivana Černá, Radek Pelánek
    Pages 49-73
  5. K. Rustan, M. Leino
    Pages 104-120
  6. Alex Groce, Willem Visser
    Pages 121-136
  7. Jaco Geldenhuys, Antti Valmari
    Pages 136-150
  8. Deepak D’Souza, Madhavan Mukund
    Pages 151-166
  9. David Garlan, Serge Khersonsky, Jung Soo Kim
    Pages 166-180
  10. Irfan Zakiuddin, Michael Goldsmith, Paul Whittaker, Paul Gardiner
    Pages 181-196
  11. Stefan Edelkamp
    Pages 197-213
  12. Cormac Flanagan, Shaz Qadeer
    Pages 213-224
  13. Alexandre David, Gerd Behrmann, Kim G. Larsen, Wang Yi
    Pages 225-229
  14. Steven Eker, José Meseguer, Ambarish Sridharanarayanan
    Pages 230-234
  15. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre
    Pages 235-239
  16. Back Matter
    Pages 241-241

About these proceedings


This book constitutes the refereed proceedings of the 10th International  SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as  an ICSE 2003 satellite workshop.

The 14 revised full papers and 3 revised tool papers presented were carefully reviewed and selected from 30 submissions. The book  presents state-of-the-art results on the analysis and verification of distributed software systems using the SPIN model checker as one of the most powerful and widely applied systems.


SPIN SPIN model checking abstract interpretation abstraction explicit model checking formal methods formal specification formal verification modal verification model checking mu calculus program analysis software verification structured analysis verification

Editors and affiliations

  • Thomas Ball
    • 1
  • Sriram K. Rajamani
    • 1
  1. 1.Microsoft ResearchRedmondUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-40117-9
  • Online ISBN 978-3-540-44829-7
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site