Principles of the Spin Model Checker
Book Details
Author(s)
Mordechai Ben-Ari
Publisher
Springer
ISBN / ASIN
1846287693
ISBN-13
9781846287695
Availability
Usually ships in 24 hours
Sales Rank
#2,149,820
Category
Paperback
Marketplace
United States 🇺🇸
Ratings & Reviews
No reviews yet — be the first!
No reviews yet.
Description
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 easily learned by students and programmers. Spin is easy to install and use.
