Lecture Notes in Computer Science

10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings

By: Thomas Ball (Editor), Sriram K. Rajamani (Editor)

Write A Review

Paperback | 28 April 2003

At a Glance

Paperback
256 Pages

Dimensions(cm)
24.13 x 15.24 x 1.91

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

This book constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as an ICSE 2003 satellite workshop.

The 14 revised full papers and 3 revised tool papers presented were carefully reviewed and selected from 30 submissions. The book presents state-of-the-art results on the analysis and verification of distributed software systems using the SPIN model checker as one of the most powerful and widely applied systems.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Software Engineering Software Testing & Verification Computer Science Computer Architecture & Logic Design Programming & Scripting Languages Business Applications Information Technology General Issue Compilers & Interpreters Databases

Data Capture & Analysis

Optimal Scheduling Using Branch and Bound with SPIN 4.0	p. 1
A Requirements Patterns-Driven Approach to Specify Systems and Check Properties	p. 18
Formal Modeling and Analysis of an Avionics Triplex Sensor Voter	p. 34
Distributed Explicit Fair Cycle Detection (Set Based Approach)	p. 49
Efficient Model Checking of Safety Properties	p. 74
A Light-Weight Algorithm for Model Checking with Symmetry Reduction and Weak Fairness	p. 89
A SAT Characterization of Boolean-Program Correctness	p. 104
What Went Wrong: Explaining Counterexamples	p. 121
A Nearly Memory-Optimal Data Structure for Sets and Mappings	p. 136
Checking Consistency of SDL+MSC Specifications	p. 151
Model Checking Publish-Subscribe Systems	p. 166
A Methodology for Model-Checking Ad-hoc Networks	p. 181
Promela Planning	p. 197
Thread-Modular Model Checking	p. 213
Unification & Sharing in Timed Automata Verification	p. 225
The Maude LTL Model Checker and Its Implementation	p. 230
Software Verification with BLAST	p. 235
Author Index	p. 241
Table of Contents provided by Blackwell. All Rights Reserved.

Lecture Notes in Computer Science

10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Compilers & Interpreters

Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-Solving Approach

C# Programming in easy steps

Master C# fundamentals!

Bad Programming Practices 101

Become a Better Coder by Learning How (Not) to Program

Applied Mathematics with F#

NUnit Pocket Reference

Pocket Reference (O'Reilly)

Programming Languages and Systems

35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part II

Programming Languages and Systems

35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11â"16, 2026, Proceedings, Part I

Modern Systems Programming with Scala Native

Write Lean, High-Performance Code Without the Jvm

Pragmatic Programmers

Pragmatic Programmers

Metaprogramming Elixir

Write Less Code, Get More Done (and Have Fun!)

Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-Solving Approach

Compilers

Principles, Techniques, and Tools

Compilers: Pearson New International Edition 2ed

Principles, Techniques, and Tools

Advanced Asic Chip Synthesis : Using Synopsis Design Compiler and Primetime

International Perspectives on Science, Culture and Society

The Art of Automatic Memory Management

Practical Marko

Progressive HTML Rendering and Micro Front-Ends

Compilers

A Practical Approach

Definitive ANTLR 4 Reference

2nd Edition

C++ Programming in easy steps: 6th Edition

Updated for the GNU C Compiler and Visual Studio 2022

A Retargetable C Compiler

Design and Implementation

Optimizing Compilers for Modern Architectures

A Dependence-Based Approach

Complete Reference

The Complete Reference

The Morgan Kaufmann Software Engineering and Programming

The Morgan Kaufmann Series in Software Engineering and Programming

Programming Language Fundamentals by Example

This product is categorised by