Programming Books C Java PHP Python Learn more Browse Programming Books
  • List Price: $59.95
  • Save: $17.94 (30%)
In Stock.
Ships from and sold by
Gift-wrap available.
Principles of the Spin Mo... has been added to your Cart
Condition: Used: Very Good
Comment: *\INTERNATIONAL SHIPPING AVAILABLE/*- Clean pages with tight binding.
Access codes and supplements are not guaranteed with used items.
Sell yours for a Gift Card
We'll buy it for $16.46
Learn More
Trade in now
Have one to sell? Sell on Amazon
Flip to back Flip to front
Listen Playing... Paused   You're listening to a sample of the Audible audio edition.
Learn more
See this image

Principles of the Spin Model Checker Paperback – January 8, 2008

ISBN-13: 978-1846287695 ISBN-10: 1846287693 Edition: 2008th

Buy New
Price: $42.01
29 New from $38.01 18 Used from $33.60
Rent from Amazon Price New from Used from
"Please retry"
"Please retry"
$38.01 $33.60

Frequently Bought Together

Principles of the Spin Model Checker + Principles of Model Checking + The SPIN Model Checker: Primer and Reference Manual (paperback)
Price for all three: $153.36

Buy the selected items together
Shop the new
New! Introducing the, a hub for Software Developers and Architects, Networking Administrators, TPMs, and other technology professionals to find highly-rated and highly-relevant career resources. Shop books on programming and big data, or read this week's blog posts by authors and thought-leaders in the tech industry. > Shop now

Product Details

  • Paperback: 220 pages
  • Publisher: Springer; 2008 edition (January 8, 2008)
  • Language: English
  • ISBN-10: 1846287693
  • ISBN-13: 978-1846287695
  • Product Dimensions: 6.1 x 0.5 x 9.2 inches
  • Shipping Weight: 12 ounces (View shipping rates and policies)
  • Average Customer Review: 2.5 out of 5 stars  See all reviews (2 customer reviews)
  • Amazon Best Sellers Rank: #1,035,989 in Books (See Top 100 in Books)

Editorial Reviews

From the Back Cover

The Spin model checker is a widely used professional software tool for specifying and verifying concurrent and distributed systems. Models, written in a simple language called Promela, can be simulated randomly or interactively. Spin can generate efficient verifiers that search for a counterexample to correctness specifications applied to a model.

Spin is also a superb tool for teaching important concepts of computer science such as verification, concurrency and nondeterminism. The Promela language is easy to learn, as is the linear temporal logic used for correctness specifications, and the techniques for simulating and verifying models.

Principles of Spin is an introductory book for students and practicing software engineers who wish to learn Promela and Spin. The presentation starts with the verification of sequential programs and proceeds in gradual stages to the verification of concurrent and then distributed programs. Complete programs are used to demonstrate each construct and concept, and the source code of these programs, together with that of longer case studies, are available on the companion website.

The book describes free software that the author has developed: jSpin—an integrated development environment for Spin, SpinSpider—a visualization tool that automatically constructs graphical state diagrams of concurrent programs, and VN—a Spin-based tool for visualizing nondeterminism of finite automata.

Mordechai Ben-Ari is an associate professor in the Department of Science Teaching of the Weizmann Institute of Science. He is the author of numerous textbooks on concurrency, programming languages and logic, and has developed software tools for teaching concurrency. In 2004, Ben-Ari received the ACM/SIGCSE Award for Outstanding Contributions to Computer Science Education.

Customer Reviews

2.5 out of 5 stars
5 star
4 star
3 star
2 star
1 star
See both customer reviews
Share your thoughts with other customers

Most Helpful Customer Reviews

0 of 1 people found the following review helpful By Ali Abdulaziz k , Alzubaidi on October 20, 2013
Format: Kindle Edition Verified Purchase
the book does not provide intensive explanation
what I like about it is just the way it is organised m but as a content , it is not as I expected to help in delivering a real work.
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again
1 of 3 people found the following review helpful By Florian Leitner on July 3, 2008
Format: Paperback
I'm a computer science student and have used SPIN during my bachelor thesis. I highly recommend this book to every one who wants's to use SPIN.
The book is written in a straightforward way that can easily be understood.
1 Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again

More About the Author

Discover books, learn about writers, read author blogs, and more.

What Other Items Do Customers Buy After Viewing This Item?