Spin Model Checker, The : Primer and Reference Manual /

Master SPIN, the breakthrough tool for improving software reliability SPIN is the world's most popular, and arguably one of the world's most powerful, tools for detecting software defects in concurrent system designs. Literally thousands of people have used SPIN since it was first introduc...

Full description

Bibliographic Details

Main Author:	Holzmann, Gerard (Author)
Corporate Author:	Safari, an O'Reilly Media Company
Format:	eBook
Language:	English
Published:	Addison-Wesley Professional, 2003.
Edition:	1st edition.
Subjects:	Electronic books.
Online Access:	Connect to this electronic resource