Roddy W. Erickson

An Overview of AFFIRM: A Specification and Verification System

David R. Musser, David S. Wile, D. A. Baker, 1980, IFIP Congress.

Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models

Daniel Schwabe, Carl A. Sunshine, David H. Thompson, 1982, IEEE Transactions on Software Engineering.

Correction to "Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models"

Daniel Schwabe, Carl A. Sunshine, David H. Thompson, 1983, IEEE Trans. Software Eng..

Practical Tools for Software Test Certification

Roddy W. Erickson, David Casey, 1984, COMPCON.

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

David R. Musser, Roddy W. Erickson, D. Musser, 1980, CADE.