This is the first introductory textbook on Spin, the only requirement is a background in programming. Spin models are written in the Promela language which is e

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 Ma

This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Checking Software, SPIN 2004, held in Barcelona, Spain, in April

This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in A

This volume discusses the fundamental problems of designing logically consistent methods of communication between multiple computer processes. Standard protocol