Model Checking Software : 17th International SPIN Workshop, Enschede, the Netherlands, September 27-29, 2010, Proceedings

ISBN13:
9783642161636
ISBN10:
3642161634
Format: Paperback
Copyright: 2010-10-28
Publisher: Springer-Verlag New York Inc
More Book Details
Purchase Benefits

Free Shipping On Orders Over $35!

Your order must be $35 or more to qualify for free economy shipping. Bulk sales, PO's, Marketplace items, eBooks and apparel do not qualify for this offer.
Get Rewarded for Ordering Your Textbooks! Enroll Now
Customer Reviews Read Reviews
Write a Review
Model Checking Software : 17th International SPIN Workshop, Enschede, the Netherlands, September 27-29, 2010, Proceedings > ISBN13: 9783642161636

List Price: $89.99

Marketplace

$56.82

More Prices

Summary

This book constitutes the refereed proceedings of the 17th InternationalSPIN workshop on Model Checking Software, SPIN 2010, held at theUniversity of Twente, in Enschede, The Netherlands, in September 2010.The 13 revised full papers presented together with 2 tool papers and 3invited talks were carefully reviewed and selected from 33 submissions.The papers are organized in topical sections on satisfiability modulotheories for model checking, model checking in context (simulation,testing, UML), implementation and performance of model checking, LTL and Büchi automata, extensions to infinite-state systems, and concurrentsoftware.

Satisfiability Modulo Theories for Model Checking
SMT-Based Software Model Checking (Invited Talk)	p. 1
Symbolic Object Code Analysis	p. 4
Model Checking in Context
Experimental Comparison of Concolic and Random Testing for Java Card Applets	p. 22
Combining SPIN with ns-2 for Protocol Optimization	p. 40
Automatic Generation of Model Checking Scripts Based on Environment Modeling	p. 58
Implementation and Performance of Model Checking
Model Checking: Cleared for Take Off (Invited Talk)	p. 76
Context-Enhanced Directed Model Checking	p. 88
Efficient Explicit-State Model Checking on General Purpose Graphics Processors	p. 106
The SpinJa Model Checker (Tool Presentation)	p. 124
LTL and Büchi Automata
On the Virtue of Patience: Minimizing Büchi Automata	p. 129
Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance	p. 146
Nevertrace Claims for Model Checking	p. 162
Infinite State Models
A False History of True Concurrency: From Petri to Tools (Invited Talk)	p. 180
Analysing Mu-Calculus Properties of Pushdown Systems (Tool Presentation)	p. 187
Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains	p. 193
An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models	p. 212
Concurrent Software
Context-Bounded Translations for Concurrent Software: An Empirical Evaluation	p. 227
One Stack to Run Them All: Reducing Concurrent Analysis to Sequential Analysis under Priority Scheduling	p. 245
Author Index	p. 263
Table of Contents provided by Ingram. All Rights Reserved.

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.