Holzmann, Gerard J. The Model Checker Spin - 279-295 p. Subjects--Topical Terms: Formal MethodsProgram VerificationDesign Verification