An approach to systems verification

A fast string searching algorithm

Robert S. Boyer, J Strother Moore · Communications of the ACM · 1977 · 2.3K citations · Full text

Computing, Computer Science, Algorithms +9

A computational logic handbook

Mathematics and Computers in Simulation · 1989 · 582 citations

Humanities, Computer Science, Mathematics +12

The correctness problem in computer science

Mathematics and Computers in Simulation · 1983 · 355 citations

Computing, Computer Science, Algorithms +11

Microprocessor design verification

Warren A. Hunt · Journal of Automated Reasoning · 1989 · 131 citations

Metafunctions: Proving Them Correct and Using Them Efficiently as New Proof Procedures.

Robert S. Boyer, J Strother Moore · Defense Technical Information Center (DTIC) · 1979 · 110 citations

Computing, Computer Science, Formal Methods +14