» » Principles of the Spin Model Checker

Information of news
14-10-2014, 02:09

Principles of the Spin Model Checker

Category: E-Books

Principles of the Spin Model Checker
Principles of the Spin Model Checker
by Mordechai Ben-Ari
English | 2008 | ISBN: 1846287693 | 216 pages | PDF | 3.22 MB

The Spin model checker is not only a widely used professional tool but it is also a superb tool for teaching important concepts of computer science such as verification, concurrency and nondeterminism. The book introduces Spin-based software that the author has developed for teaching: jSpin - an integrated development environment for Spin; SpinSpider - uses output from Spin to automatically construct state diagrams of concurrent programs; VN is a tool for visualizing nondeterminism.”

Link Download

Buy Premium Account To Get Maximum Speed & Save Time(Recommened)!



Site BBcode/HTML Code:
Dear visitor, you went to the site as unregistered user.
We recommend you Sign up or Login to website under your name.
Would you like to leave your comment? Please Login to your account to leave comments. Don't have an account? You can create a free account now.

Tag Cloud

archive of news

free html hit counter