Theoretical and Practical Aspects of SPIN Model Checking

Theoretical and Practical Aspects of SPIN Model Checking
la9qCQAAQBAJ
282
By:"Dennis Dams","Robert Gerth","Stefan Leue","Mieke Massinek"
"Computers"
Published on 2003-05-21 by Springer

In Proceedings of the 19th International Conference on Software Engineering, \u003cbr\u003e\nMay 1997. 4. \u003cb\u003eA.T. Chamillard\u003c/b\u003e. An Empirical Comparison of Static Concurrency \u003cbr\u003e\nAnalysis Techniques. PhD thesis, University of Massachusetts at Amherst, May \u003cbr\u003e\n1996.

READ NOW

Increasing the designer’s con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design process for software and hardware systems. Many approaches to reaching this goal have been developed, including rigorous speci cation, formal veri cation, automated validation, and testing. Finite-state model checking, as it is supported by the explicit-state model checkerSPIN,is enjoying a constantly increasingpopularity in automated property validation of concurrent, message based systems. SPIN has been in large parts implemented and is being maintained by Gerard Ho- mann, and is freely available via ftp fromnetlib.bell-labs.comor from URL http://cm.bell-labs.com/cm/cs/what/spin/Man/README.html. The beauty of nite-state model checking lies in the possibility of building \\push-button\

This Book was ranked 29 by Google Books for keyword a.t. chamillard.

The book is written in enfor NOT_MATURE

Read Ebook Now
false
true

Printed Version of this book available in
BOOK

Availability of Ebook version is true,"listPrice": {"amount": 99.0,"currencyCode": "USD"in falseor true

Public Domain Status false