Roddy W. Erickson

According to our database, Roddy W. Erickson authored at least 5 papers between 1980 and 1984.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1984

Practical Tools for Software Test Certification.

David Casey, Roddy W. Erickson

Proceedings of the COMPCON'84, Digest of Papers, Twenty-Eighth IEEE Computer Society International Conference, San Francisco, California, USA, February 27, 1984

1983

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

IEEE Trans. Software Eng., 1983

1982

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

IEEE Trans. Software Eng., 1982

1980

An Overview of AFFIRM: A Specification and Verification System.

Susan L. Gerhart, David R. Musser, David H. Thompson, D. A. Baker, R. L. Bates, Roddy W. Erickson, Ralph L. London, D. G. Taylor, David S. Wile

Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980

The AFFIRM Theorem Prover: Proof Forests and Management of Large Proofs.

Roddy W. Erickson, David R. Musser

Proceedings of the 5th Conference on Automated Deduction, 1980