Principles of the Spin model checker
By: Mordechai Ben-Ari.
Publisher: Springer
Published: 2008
Place of publication: London
Language: eng
Number of pages: 216
ISBN-13: 9781846287695; 9781846287701
Subjects: SPIN (Computer file); Computer software -- Verification
Notes: Includes bibliographical references (p. [209]-210) and index.