Login / Signup
Roddy W. Erickson
Publication Activity (10 Years)
Years Active: 1980-1984
Publications (10 Years): 0
</>
Publications
</>
David Casey
,
Roddy W. Erickson
Practical Tools for Software Test Certification.
COMPCON
(1984)
Carl A. Sunshine
,
David H. Thompson
,
Roddy W. Erickson
,
Susan L. Gerhart
,
Daniel Schwabe
Correction to "Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models".
IEEE Trans. Software Eng.
9 (1) (1983)
Carl A. Sunshine
,
David H. Thompson
,
Roddy W. Erickson
,
Susan L. Gerhart
,
Daniel Schwabe
Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models.
IEEE Trans. Software Eng.
8 (5) (1982)
Roddy W. Erickson
,
David R. Musser
The AFFIRM Theorem Prover: Proof Forests and Management of Large Proofs.
CADE
(1980)
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
An Overview of AFFIRM: A Specification and Verification System.
IFIP Congress
(1980)