Principles of the Spin Model Checker » Free eBooks - FreeBooksPedia.com - Free IT ebooks, magazine, electronic, robotic ebooks

MainPage Register Statistic Feedback RSS 2.0

Control panel

Username:

Password:

	Register
	Forget Password?

Free ebooks encyclopedia » IT eBooks » Principles of the Spin Model Checker

Navigation on the site:


	Home
	eBooks
	Graphics

	Advanced Search

Subscriptions

Archives

January 2009 (63)
December 2008 (230)
November 2008 (531)
October 2008 (279)
September 2008 (693)
August 2008 (273)
July 2008 (353)
June 2008 (259)
May 2008 (1091)
April 2008 (1078)
March 2008 (804)
February 2008 (659)
January 2008 (862)


	↑ Grab this Headline Animator Sponsored Links

IT eBooks : Principles of the Spin Model Checker

Author: firefoxs | 2 May 2008 | Views: 53

Principles of the Spin Model Checker ebook for free download.

Principles of Spin is an introductory book, 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: 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. Complete programs will demonstrate each construct and concept and these programs will be available on a companion website.

<< ISBN: 1846287693 Author: Mordechai Ben-Ari Publisher: Springer Pages: 216 Publication Date: 2008-01-07

Download

Your Ad Here

Similar Posts:

Principles of the Spin Model Checker

Concurrency: State Models and Java Programs

Principles of Model Checking

Microsoft Office Excel 2007: Top 100 Simplified Tips & Tricks (Top 100 Simp ...

SWT: A Developer's Notebook

(Votes #: 0)

Comments (0)

Add comments

Your name:

Your e-mail:

Safety Code:

update code

Enter Here:

Disclaimer: FreeBooksPedia.com is web portal, ere all users are collects and share all the ebook download links from the Internet and does not store any files on its server. Most of ebooks are from filesrack.com rapidshare.com megaupload.com depositfiles.com filefactory.com easy-share.com ect. If any Copyright materials are shared here please email us: freebookspedia[@]gmail[.]com, we will remove it.