Principles of the Spin model checker - Ben-Ari, M., 1948-; SpringerLink (Online service) (London : Springer-Verlag London Limited, 2008)
Includes bibliographical references (p. [209]-210) and index.
Keywords: SPIN (Computer file); Computer software -- Verification; Computer Science; Logics and Meanings of Programs; Operating Systems; Programming Languages, Compilers, Interpreters; Programming Techniques; Software Engineering/Programming and Operating Systems; Theory of Computation