Model Checking Software : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings - Antti Valmari

Instant online reading.
Don't wait for delivery!

Model Checking Software

13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings

By: Antti Valmari (Editor)

Write A Review

Paperback | 15 March 2006

At a Glance

Paperback
324 Pages

Dimensions(cm)
22.86 x 15.24 x 1.27

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 7 to 10 business days

The name "SPIN" refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an annual forum for practitioners and researchersinterested in state space-based techniques for the validation and analysis of software and hardware systems, including communication protocols. It focuses on techniques based on explicit representations of state spaces, as implemented in the SPIN model checker or other tools, and techniques based on a combination of explicit representations with other representations. The SPIN model checker has proven to be particularly suited for the analysis of concurrent asynchronous systems. The workshop aims to encourage interaction and exchange of ideas with all related areas in software engineering. To promote interaction even further, many SPIN workshops have been held in conjunction with other meetings. The 13th International SPIN Workshop on Model Checking of Software was held in Vienna, Austria, co-located with the European Joint Conferences on Theory and Practice of Software (ETAPS) 2006. The earlier SPIN workshops were held in Montreal, Canada (1995); Rutgers University, USA (1996); Twente University, The Netherlands (1997); ENST, Paris, France (1998); Trento, Italy (1999); Toulouse, France (1999); Stanford University, USA (2000); Toronto, Canada (2001); Grenoble, France (2002); Portland, Oregon, USA (2003); Barcelona, Spain(2004);andSanFrancisco, USA(2005).Theproceedingsofthe Trento and Toulouse workshops were published together in Springer's Lecture Notes in Computer Science volume 1680. From then on, each SPIN proceedings has been published as an individual LNCS volume.

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 Programming & Scripting Languages Computer Science Computer Architecture & Logic Design

Large-scale directed model checking LTL	p. 1
Directed model checking with distance-preserving abstractions	p. 19
Adapting an AI planning heuristic for directed model checking	p. 35
Larger automata and less work for LTL model checking	p. 53
Don't know in probabilistic systems	p. 71
Symbolic model checking of stochastic systems : theory and implementation	p. 89
Parallel and distributed model checking in eddy	p. 108
Distributed on-the-fly model checking and test case generation	p. 126
Bounded model checking of software using SMT solvers instead of SAT solvers	p. 146
Symbolic execution with abstract subsumption checking	p. 163
Abstract matching for software model checking	p. 182
A parametric state space for the analysis of the infinite class of stop-and-wait protocols	p. 201
Verification of medical guidelines by model checking - a case study	p. 219
Towards a compositional SPIN	p. 234
Exploiting symmetry and transactions for partial order reduction of rule based specifications	p. 252
Partial-order reduction for general state exploring algorithms	p. 271
A counterexample-guided refinement tool for open procedural programs	p. 288
jMosel : a stand-alone tool and jABC plugin for M2L(str)	p. 293
Model checking dynamic states in GROOVE	p. 299
Table of Contents provided by Blackwell. All Rights Reserved.

Model Checking Software

13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Software Engineering

Designing Data-Intensive Applications

Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Intelligent Systems

Emerging Trends and Challenges in Deep Neuro-Fuzzy Models and Explainable Artificial Intelligence

Risk-First Software Development, Second Edition

Deliver Better Systems in a Post-Agile, AI World

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

The Essence of Software Engineering

Semantics With Applications

Advanced Topics in Computer Science

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

Design Patterns

Elements of Reusable Object-Oriented Software

The Staff Engineer's Path

A Guide For Individual Contributors Navigating Growth and Change

Typescript Cookbook

Real World Type-Level Programming

The Devops Handbook: 2nd Edition

How to Create World-Class Agility, Reliability, & Security in Technology

The Art of Spyro

Reignited Trilogy

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Hacking For Dummies

For Dummies (Computer/Tech)

Arduino For Dummies

Blackwell Philosophy Anthologies

Git : Pocket Guide

A Working Introduction

Architecture Patterns with Python

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

Developing Graphics Frameworks with Java and OpenGL

Coding All-in-One For Dummies

2nd Edition

Handbook of Human Factors in Cybersecurity Systems

A Human-Centered Approach

Programming TypeScript

Making Your JavaScript Applications Scale

This product is categorised by