Skip to main content
SpringerLink
Log in

Model Checking Software

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

  • Conference proceedings
  • © 2005

Overview

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)

Included in the following conference series:

Conference proceedings info: SPIN 2005.

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 (24 papers)

  1. Checking Security and Real-Time Properties

    1. Model Checking Machine Code with the GNU Debugger

      • Eric Mercer, Michael Jones
      Pages 251-265

  2. Tool Papers

    1. Etch: An Enhanced Type Checking Tool for Promela

      • Alastair F. Donaldson, Simon J. Gay
      Pages 266-271

    2. Enhanced Probabilistic Verification with 3Spin and 3Murphi

      • Peter C. Dillinger, Panagiotis Manolios
      Pages 272-276

    3. SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions

      • Anil Madhavapeddy, David Scott, Richard Sharp
      Pages 277-281

    4. Learning-Based Assume-Guarantee Verification (Tool Paper)

      • Dimitra Giannakopoulou, Corina S. Păsăreanu
      Pages 282-287

  3. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Model Checking Software

Keywords

Editors and Affiliations

  • Microsoft Research,  

    Patrice Godefroid

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation