+612 9045 4394
 
CHECKOUT
Model Checking Software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings :  11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings - Susanne Graf

Model Checking Software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings

11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings

By: Susanne Graf (Editor), Laurent Mounier (Editor)

Paperback

Published: April 2004
Ships: 5 to 9 business days
5 to 9 business days
$125.05
or 4 easy payments of $31.26 with Learn more

This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Checking Software, SPIN 2004, held in Barcelona, Spain, in April 2004. The 19 revised full papers presented together with the abstracts of an invited talk and 2 tutorials were carefully reviewed and selected from 48 submissions. The papers are organized in topical sections on heuristics and probabilities, improvements of SPIN, validation of timed systems, tool presentations, abstraction and symbolic methods, and applications.

Formal analysis of processor timing modelsp. 1
Typical structural properties of state spacesp. 5
State caching reconsideredp. 23
Directed error detection in C++ with the assembly-level model checker StEAMp. 39
Fast and accurate bitstate verification for SPINp. 57
Model-driven software verificationp. 76
Minimization of counterexamples in SPINp. 92
Black-box conformance testing for real-time systemsp. 109
Validation of UML models via a mapping to communicating extended timed automatap. 127
Explicit state model checking with hopperp. 146
SEQ.OPEN : a tool for efficient trace-based verificationp. 151
Model checking genetic regulatory networks using GNA and CADPp. 158
Verification of Java programs using symbolic execution and invariant generationp. 164
Polynomial time image computation with interval-definable counters systemsp. 182
Using fairness to make abstractions workp. 198
A scalable incomplete test for message buffer overflow in Promela modelsp. 216
Translation from adapted UML to Promela for CORBA-based applicationsp. 234
Verifying commit-atomicity using model-checkingp. 252
Analysis of distributed spin applied to industrial-scale modelsp. 267
Verification of MPI-based software for scientific computationp. 286
Advanced SPIN tutorialp. 304
IF validation environment tutorialp. 306
Author indexp. 309
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540213147
ISBN-10: 3540213147
Series: Lecture Notes in Computer Science
Audience: Professional
Format: Paperback
Language: English
Number Of Pages: 314
Published: April 2004
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.5 x 15.5  x 2.03
Weight (kg): 0.49