Donald I. Good - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 25 from 25

1991

Mathematical Methods for Digital Systems DevelopmentDonald I. Good, William D. Young. FM 1991: 406-430

1988

Computing is a Physical Science (Abstract)Donald I. Good. FM 1988: 1-1

1986

NRL invitational workshop on testing and proving: two approaches to assuranceCarl E. Landwehr, Susan L. Gerhart, John D. McLean, Donald I. Good, Nancy Leveson. sigsoft, 11(5):63-85, 1986. [doi]

1985

Overview of verification systemsDan Craigen, Donald I. Good. sigsoft, 10(4):1, 1985. [doi]

A second generation verification environmentDonald I. Good, Robert S. Boyer, J. Strother Moore. sigsoft, 10(4):48, 1985. [doi]

1981

Toward building verified, secure systemsDonald I. Good. sigsoft, 6(3):4-8, 1981. [doi]

A verified encrypted packet interfaceMichael K. Smith, Ann E. Siebert, Benedetto L. DiVito, Donald I. Good. sigsoft, 6(3):13-16, 1981. [doi]

HAL/S/V: a verifiable subset for HAL/SAnand R. Tripathi, William D. Young, Donald I. Good, James C. Browne. SIGPLAN, 16(3):102-112, 1981. [doi]

Steelman and the verifiability of (preliminary) ADAWilliam D. Young, Donald I. Good. SIGPLAN, 16(2):113-119, 1981. [doi]

1980

A preliminary evaluation of verifiability in AdaAnand R. Tripathi, William D. Young, Donald I. Good. acm 1980: 218-224 [doi]

Generics and verification in AdaWilliam D. Young, Donald I. Good. sigplan 1980: 123-127 [doi]

1979

Principles of Proving Programs Correct in GypsyDonald I. Good, Richard M. Cohen, James Keeton-Williams. POPL 1979: 42-52 [doi]

1978

A Report On The Development Of GypsyDonald I. Good, Richard M. Cohen, Lawrence W. Hunter. acm 1978: 116-122 [doi]

Beyond factorial (Abstract of presentation)Donald I. Good. afips 1978: 667-668

1977

Constructing verified and reliable communications processing systemsDonald I. Good. sigsoft, 2(5):8-13, 1977. [doi]

1976

SICSOFT (Tutorial Session)Donald I. Good, Lloyd Fosdick. acm 1976: 520 [doi]

SIGSOFT tutorial on program verification (Tutorial Session)Donald I. Good, Lloyd Fosdick. acm 1976: 521-522 [doi]

1975

An Interactive Program Verification SystemDonald I. Good, Ralph L. London, W. W. Bledsoe. TSE, 1(1):59-67, 1975.

Provable programmingDonald I. Good. relsoft 1975: 411-419 [doi]

An interactive program verification systemDonald I. Good, Ralph L. London, W. W. Bledsoe. relsoft 1975: 482-492 [doi]

1974

Provable programs and processorsDonald I. Good. afips 1974: 357-363 [doi]

1973

Greatest Common Divisor of n Integers and Multipliers (Certification of Algorithm 386)Larry C. Ragland, Donald I. Good. CACM, 16(4):257, 1973.

New directions in teaching the fundamentals of computer science - discrete structures and computational analysisRaymond T. Yeh, Donald I. Good, David R. Musser. sigcse 1973: 60-67 [doi]

1972

The MIX computer as an educational toolE. M. Greenawalt, Donald I. Good. acm 1972: 302-309 [doi]

1970

Computer Interval Arithmetic: Definition and Proof of Correct ImplementationDonald I. Good, Ralph L. London. JACM, 17(4):603-612, 1970. [doi]

Sign in or sign up to see more results.

runs on WebDSL