Theoretical Computer Science and General Issues

Model Checking Software

16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings

Editors: Pasareanu, Corina S (Ed.)

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-02652-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-642-02651-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the refereed proceedings of the 16th International SPIN workshop on Model Checking Software, SPIN 2009, held in Grenoble, France, in June 2009.

The 15 revised full papers presented together with 3 tool papers and 4 invited talks were carefully reviewed and selected from 41 submissions. The papers cover theoretical and algorithmic foundations as well as tools for software model checking by addressing theoretical advances and empirical evaluations related to state-space and path exploration techniques, as implemented in software verification tools.

Table of contents (22 chapters)

  • Software Model Checking Improving Security of a Billion Computers

    Godefroid, Patrice

    Pages 1-1

  • On Quantitative Software Verification

    Kwiatkowska, Marta

    Pages 2-3

  • The Quest for Correctness-Beyond a Posteriori Verification

    Sifakis, Joseph

    Pages 4-4

  • Who Really Cares If the Program Crashes?

    Visser, Willem

    Pages 5-5

  • Tool Presentation: Teaching Concurrency and Model Checking

    Ben-Ari, Mordechai (Moti)

    Pages 6-11

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-02652-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-642-02651-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Model Checking Software
Book Subtitle
16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings
Editors
  • Corina S Pasareanu
Series Title
Theoretical Computer Science and General Issues
Series Volume
5578
Copyright
2009
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-02652-2
DOI
10.1007/978-3-642-02652-2
Softcover ISBN
978-3-642-02651-5
Edition Number
1
Number of Pages
X, 297
Topics