Tags
Language
Tags
<<
April 2024
Su Mo Tu We Th Fr Sa
31 1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30 1 2 3 4
  1. Home
  2. eBooks & eLearning

Principles of the Spin Model Checker (repost)

Posted By: fdts
Date: 12 Oct 2014 21:40:40
Principles of the Spin Model Checker (repost)

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.

Welcome to My Blog!

Please No mirrors.
Download from:
http://uploaded.net/file/gi1e5es4/model-1846287693.pdf
http://www.uploadable.ch/file/D25WNnGnbkB6/model-1846287693.pdf
UPWARDS