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 $0.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

Java in Two Semesters

Includes JavaFX

Applied Mathematics with F#

NUnit Pocket Reference

Pocket Reference (O'Reilly)

Flex & Bison

O'Reilly Ser.

Clean Ruby

A Guide to Crafting Better Code for Rubyists

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!)

Explainable, Trustworthy, and Responsible AI and Multi-Agent Systems

8th International Workshop, EXTRAAMAS 2026, Paphos, Cyprus, May 25-26, 2026, Revised Selected Papers

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

Bad Programming Practices 101

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

Compilers

A Practical Approach

Definitive ANTLR 4 Reference

2nd Edition

Practical Marko

Progressive HTML Rendering and Micro Front-Ends

C++ Programming in easy steps: 6th Edition

Updated for the GNU C Compiler and Visual Studio 2022

Crafting Interpreters

Graph Transformation

19th International Conference, ICGT 2026, Held as Part of STAF 2026, Rennes, France, July 1-2, 2026, Proceedings

Compiler Design Using Java®

An Object-Oriented Approach

Pro Spring Boot 4

An Authoritative Guide with Best Practices

Hardware Description Languages and Their Applications Specification, Modelling, Verification and Synthesis

Specification, Modelling, Verification and Synthesis of Microelectronic Systems

Programming Languages and Systems

8th European Symposium on Programming, ESOP'99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, the Netherlands, March 22-28, 1999, Proceedings

First Steps in Latex

This product is categorised by