Nothing Special   »   [go: up one dir, main page]
Skip to main content
Springer Nature Link
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

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy 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

Licence this eBook for your library

Institutional subscriptions

Keywords

Table of contents (24 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Talks/Papers

    1. Pushdown Model Checking for Security

      • David Wagner
      Pages 1-1

    2. Execution Generated Test Cases: How to Make Systems Code Crash Itself

      • Cristian Cadar, Dawson Engler
      Pages 2-23

  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

    3. Counterexample-Based Refinement for a Boundedness Test for CFSM Languages

      • Stefan Leue, Wei Wei
      Pages 58-74

  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

    2. Crafting a Promela Front-End with Abstract Data Types to Mitigate the Sensitivity of (Compositional) Analysis to Implementation Choices

      • Yung-Pin Cheng
      Pages 139-153

    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

    2. Using SPIN and Eclipse for Optimized High-Level Modeling and Analysis of Computer Network Attack Models

      • Gerrit Rothmaier, Tobias Kneiphoff, Heiko Krumm
      Pages 236-250
Back to top

Other volumes

  1. Model Checking Software

Editors and Affiliations

  • Microsoft Research,  

    Patrice Godefroid

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation