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


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

Industry Sectors
Chemical Manufacturing
IT & Software
Finance, Business & Banking
Energy, Utilities & Environment