Advertisement

Model Checking Software

12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings

  • Patrice Godefroid
Conference proceedings SPIN 2005

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

Table of contents

  1. Front Matter
  2. Invited Talks/Papers

  3. Invited Tutorials

    1. Gerard J. Holzmann, Theo C. Ruys
      Pages 24-24
    2. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
      Pages 25-26
    3. Willem Visser, Peter Mehlitz
      Pages 27-27
  4. State Representation and Abstraction

    1. Madanlal Musuvathi, David L. Dill
      Pages 28-42
    2. Sami Evangelista, Jean-François Pradat-Peyre
      Pages 43-57
  5. Dealing with Concurrency

    1. Byron Cook, Daniel Kroening, Natasha Sharygina
      Pages 75-90
    2. Dragan Bošnački, Gerard J. Holzmann
      Pages 91-105
    3. Vladimir Levin, Robert Palmer, Shaz Qadeer, Sriram K. Rajamani
      Pages 106-122
  6. Dealing with Complex Data

    1. Sarfraz Khurshid, Iván García, Yuk Lai Suen
      Pages 123-138
    2. Tomás Barros, Ludovic Henrio, Eric Madelaine
      Pages 154-168
  7. Checking Temporal Properties

    1. Jean-Michel Couvreur, Alexandre Duret-Lutz, Denis Poitrenaud
      Pages 169-184
    2. Bas Luttik, Nikola Trčka
      Pages 185-199
    3. Salamah Salamah, Ann Gates, Steve Roach, Oscar Mondragon
      Pages 200-220
  8. Checking Security and Real-Time Properties

    1. Abdul Sahid Khan, Madhavan Mukund, S. P. Suresh
      Pages 221-235
    2. Eric Mercer, Michael Jones
      Pages 251-265
  9. Tool Papers

    1. Alastair F. Donaldson, Simon J. Gay
      Pages 266-271
    2. Peter C. Dillinger, Panagiotis Manolios
      Pages 272-276
    3. Anil Madhavapeddy, David Scott, Richard Sharp
      Pages 277-281
    4. Dimitra Giannakopoulou, Corina S. Păsăreanu
      Pages 282-287
  10. Back Matter

About these proceedings

Keywords

Eclipse Java SPIN abstraction algorithms explicit model checking formal methods formal specification modal verification modeling mu calculus software verification spin model checking structured analysis verification

Editors and affiliations

  • Patrice Godefroid
    • 1
  1. 1.Microsoft Research 

Bibliographic information

  • DOI https://doi.org/10.1007/11537328
  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-28195-5
  • Online ISBN 978-3-540-31899-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site