Spin model checker :
Holzmann, Gerard J.
Spin model checker : primer and reference manual Gerard J. Holzmann. - Boston : Addison-Wesley, ©2004. - xii, 596 p. : ill. ; 25 cm.
Includes bibliographical references (p. 545-552) and index.
0321228626
Systems engineering--Mathematical models.
Computer programs--Testing.
TA168 / .H65 2004
620.001
Spin model checker : primer and reference manual Gerard J. Holzmann. - Boston : Addison-Wesley, ©2004. - xii, 596 p. : ill. ; 25 cm.
Includes bibliographical references (p. 545-552) and index.
0321228626
Systems engineering--Mathematical models.
Computer programs--Testing.
TA168 / .H65 2004
620.001