Principles of the Spin Model Checker

Released on by Mordechai Ben-Ari
preview-18

  • Principles of the Spin Model Checker Book Detail

  • Author : Mordechai Ben-Ari
  • Release Date : 2008-04-13
  • Publisher : Springer Science & Business Media
  • Genre : Computers
  • Pages : 225
  • ISBN 13 : 1846287707
  • File Size : 60,60 MB
DOWNLOAD BOOK

Principles of the Spin Model Checker by Mordechai Ben-Ari PDF Summary

Book 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. 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. Complete programs demonstrate each construct and concept and these programs are available on a companion website.

Disclaimer: www.yourbookbest.com does not own Principles of the Spin Model Checker books pdf, neither created or scanned. We just provide the link that is already available on the internet, public domain and in Google Drive. If any way it violates the law or has any issues, then kindly mail us via contact us page to request the removal of the link.

Principles of the Spin Model Checker

Principles of the Spin Model Checker

File Size : 17,17 MB
Total View : 5056 Views
DOWNLOAD

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

Model Checking Software

Model Checking Software

File Size : 90,90 MB
Total View : 3858 Views
DOWNLOAD

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

Model Checking Software

Model Checking Software

File Size : 12,12 MB
Total View : 7494 Views
DOWNLOAD

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