Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2005

Model Checking Software

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

Editors:

  1. Patrice Godefroid

    1. Microsoft Research,  

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): SPIN: International Symposium on Model Checking Software

Conference proceedings info: SPIN 2005.

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (24 papers)

  1. Front Matter

    PDF

  2. Invited Talks/Papers

    1. Pushdown Model Checking for Security

      • David Wagner
      Pages 1-1

  3. Invited Tutorials

    1. Effective Bug Hunting with Spin and Modex

      • Gerard J. Holzmann, Theo C. Ruys
      Pages 24-24

    2. The BLAST Software Verification System

      • Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
      Pages 25-26

    3. Model Checking Programs with Java PathFinder

      • Willem Visser, Peter Mehlitz
      Pages 27-27

  4. State Representation and Abstraction

    1. An Incremental Heap Canonicalization Algorithm

      • Madanlal Musuvathi, David L. Dill
      Pages 28-42

    2. Memory Efficient State Space Storage in Explicit Software Model Checking

      • Sami Evangelista, Jean-François Pradat-Peyre
      Pages 43-57

  5. Dealing with Concurrency

    1. Symbolic Model Checking for Asynchronous Boolean Programs

      • Byron Cook, Daniel Kroening, Natasha Sharygina
      Pages 75-90

    2. Improving Spin’s Partial-Order Reduction for Breadth-First Search

      • Dragan Bošnački, Gerard J. Holzmann
      Pages 91-105

    3. Sound Transaction-Based Reduction Without Cycle Detection

      • Vladimir Levin, Robert Palmer, Shaz Qadeer, Sriram K. Rajamani
      Pages 106-122

  6. Dealing with Complex Data

    1. Repairing Structurally Complex Data

      • Sarfraz Khurshid, Iván García, Yuk Lai Suen
      Pages 123-138

    3. Behavioural Models for Hierarchical Components

      • Tomás Barros, Ludovic Henrio, Eric Madelaine
      Pages 154-168

  7. Checking Temporal Properties

    1. On-the-Fly Emptiness Checks for Generalized Büchi Automata

      • Jean-Michel Couvreur, Alexandre Duret-Lutz, Denis Poitrenaud
      Pages 169-184

    2. Stuttering Congruence for χ

      • Bas Luttik, Nikola Trčka
      Pages 185-199

    3. Verifying Pattern-Generated LTL Formulas: A Case Study

      • Salamah Salamah, Ann Gates, Steve Roach, Oscar Mondragon
      Pages 200-220

  8. Checking Security and Real-Time Properties

    1. Generic Verification of Security Protocols

      • Abdul Sahid Khan, Madhavan Mukund, S. P. Suresh
      Pages 221-235
Back to top

Other Volumes

  1. Model Checking Software

Back to top

Keywords

Back to top

Editors and Affiliations

  • Microsoft Research,  

    Patrice Godefroid

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation