Skip to main content
SpringerLink
Log in

Model Checking Software

15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings

  • Conference proceedings
  • © 2008

Overview

Editors:
  1. Klaus Havelund
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Rupak Majumdar
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jens Palsberg
    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 5156)

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

Included in the following conference series:

Conference proceedings info: SPIN 2008.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (22 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Contributions

    1. Residual Checking of Safety Properties

      • Matthew B. Dwyer, Rahul Purandare
      Pages 1-2

    2. The Case for Context-Bounded Verification of Concurrent Programs

      • Shaz Qadeer
      Pages 3-6

    3. Combining Static and Dynamic Reasoning for the Discovery of Program Properties

      • Yannis Smaragdakis
      Pages 7-8

    4. Using Dynamic Symbolic Execution to Improve Deductive Verification

      • Dries Vanoverberghe, Nikolaj Bjørner, Jonathan de Halleux, Wolfram Schulte, Nikolai Tillmann
      Pages 9-25

  3. Regular Papers

    1. Automated Evaluation of Secure Route Discovery in MANET Protocols

      • Todd R. Andel, Alec Yasinsac
      Pages 26-41

    2. Model Checking Abstract Components within Concrete Software Environments

      • Tonglaga Bao, Mike Jones
      Pages 42-59

    3. Generating Compact MTBDD-Representations from Probmela Specifications

      • Frank Ciesinski, Christel Baier, Marcus Größer, David Parker
      Pages 60-76

    4. Dynamic Delayed Duplicate Detection for External Memory Model Checking

      • Sami Evangelista
      Pages 77-94

    5. State Focusing: Lazy Abstraction for the Mu-Calculus

      • Harald Fecher, Sharon Shoham
      Pages 95-113

    6. Efficient Modeling of Concurrent Systems in BMC

      • Malay K. Ganai, Aarti Gupta
      Pages 114-133

    7. Tackling Large Verification Problems with the Swarm Tool

      • Gerard J. Holzmann, Rajeev Joshi, Alex Groce
      Pages 134-143

    8. Formal Verification of a Flash Memory Device Driver – An Experience Report

      • Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim
      Pages 144-159

    9. Layered Duplicate Detection in External-Memory Model Checking

      • Peter Lamborn, Eric A. Hansen
      Pages 160-175

    10. Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes

      • Stefan Leue, Alin Åžtefănescu, Wei Wei
      Pages 176-195

    11. Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems

      • Radu Mateescu, Emilie Oudot
      Pages 196-213

    12. Resource-Aware Verification Using Randomized Exploration of Large State Spaces

      • Nazha Abed, Stavros Tripakis, Jean-Marc Vincent
      Pages 214-231

    13. Incremental Hashing for Spin

      • Viet Yen Nguyen, Theo C. Ruys
      Pages 232-249

    14. Verifying Compiler Based Refinement of BluespecTM Specifications Using the SPIN Model Checker

      • Gaurav Singh, Sandeep K. Shukla
      Pages 250-269

    15. Symbolic Context-Bounded Analysis of Multithreaded Java Programs

      • Dejvuth Suwimonteerabuth, Javier Esparza, Stefan Schwoon
      Pages 270-287
Back to top

Other volumes

  1. Model Checking Software

Keywords

About this book

This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008. The 17 revised full papers presented together with 1 tool paper and 4 invited talks were carefully reviewed and selected from 41 submissions. The main focus of the workshop series is software systems, including models and programs. The papers cover theoretical and algorithmic foundations as well as tools for software model checking and foster interactions and exchanges of ideas with related areas in software engineering, such as static analysis, dynamic analysis, and testing.

Reviews

From the reviews:

"This very advanced volume in Springer’s ‘Lecture Notes in Computer Science (LNCS)’ series comprises the proceedings of the 15th International SPIN Workshop. … This extraordinarily well-composed book belongs in every research library. By perusing these proceedings, beginners will also be able to appreciate the breadth and depth of this exciting field." (George Hacken, ACM Computing Reviews, March, 2009)

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation