An Overview of AFFIRM: A Specification and Verification System - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Susan L. Gerhart, David R. Musser, David H. Thompson, D. A. Baker, R. L. Bates, Roddy W. Erickson, R. L. London, D. G. Taylor, David S. Wile. An Overview of AFFIRM: A Specification and Verification System. In IFIP Congress. pages 343-347, 1980.

The following publications are possibly variants of this publication:

Abstract Data Type Specification in the AFFIRM SystemDavid R. Musser. TSE, 6(1):24-32, 1980.

Correction to Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models Carl A. Sunshine, David H. Thompson, Roddy W. Erickson, Susan L. Gerhart, Daniel Schwabe. TSE, 9(1):113, 1983.

Specification and Verification of Communication Protocols in AFFIRM Using State Transition ModelsCarl A. Sunshine, David H. Thompson, Roddy W. Erickson, Susan L. Gerhart, Daniel Schwabe. TSE, 8(5):460-489, 1982.

runs on WebDSL