Model Checking Software

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

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.

Model Checking Software

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 Computer Architecture & Logic Design

Fundamentals of Software Architecture

A Modern Engineering Approach

Parallel Computing

Design and Analysis of Algorithms

Computer Architecture

A Modern Approach

Basic Computer Architecture

Computer Systems 3ed

A Programmer's Perspective, Global Edition

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

Clean Architecture

A Craftsman's Guide to Software Structure and Design

Platform Engineering

A Guide for Technical, Product, and People Leaders

Rust Atomics and Locks

Low-Level Concurrency in Practice

Developing Graphics Frameworks with Java and OpenGL

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

Learning Systems Thinking

Essential Non-Linear Skills and Practices for Software Professionals

Technology Strategy Patterns

Analyzing and Communicating Architectural Decisions

Simply AI

Facts Made Fast

Learning Microsoft Power Automate

Improving Productivity for Business Processes and Workflows

Fundamentals of DevOps and Software Delivery

A Hands-On Guide to Deploying and Managing Software in Production

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Kubernetes - Up and Running

Dive into the Future of Infrastructure

AI Systems Performance Engineering

Optimizing Model Training and Inference Workloads with Gpus, Cuda, and Pytorch

Building Event-Driven Microservices

Leveraging Organizational Data at Scale

Optical Networks and Components

Fundamentals and Advances

Digital Design and Computer Architecture

ARM Edition

Digital Design and Computer Architecture

2nd Edition

This product is categorised by