Automatic proof of correctness of a binary addition algorithm

J. Strother Moore. Automatic proof of correctness of a binary addition algorithm. SIGART Bulletin, 52:13-14, 1975. [doi]

Abstract

Abstract is missing.