THE SPIN MODEL CHECKER: PRIMER AND REFERENCE MANUAL

Publisher: Addison-Wesley Professional
Language: English
ISBN: 0321228626
Paperback: 608 pages
Data: Sept 14, 2003
Format: CHM
Description: Master SPIN, the insight agency for rising code reliability
SPIN is the world’s most popular, and arguably digit of the world’s most powerful, tools for sleuthing code defects in concurrent grouping designs. Literally thousands of grouping hit utilised SPIN since it was prototypal introduced nearly cardinal eld ago. The agency has been practical to everything from the substantiation of Byzantine call processing code that is utilised in ring exchanges, to the determination of intricate curb code for interplanetary spacecraft.
This is the most broad meaning pass to SPIN, cursive by the capital specializer of the tool. It covers the tool’s description module and academic foundation, and gives careful advice on methods for tackling the most Byzantine code substantiation problems.
Sum Design and avow both nonfigurative and careful substantiation models of Byzantine systems software
Sum Develop a solidified discernment of the theory behindhand system help checking
Sum Become an proficient individual of the SPIN bidding distinction interface, the Xspin illustration individual interface, and the TimeLine redaction tool
Sum Learn the base theory of finish automata, linelike profane logic, depth-first and breadth-first search, see optimization, and help extraction from maker code
The SPIN code was awarded the prestigious Software System Award by the Association for Computing Machinery (ACM), which previously constituted systems much as UNIX, SmallTalk, TCP/IP, Tcl/Tk, and the World Wide Web.