Verification of Out-Of-Order Processor Designs Using Model Checking and a Light-Weight Completion Function

Graph-Based Algorithms for Boolean Function Manipulation

Bryant · IEEE Transactions on Computers · 1986 · 8.9K citations · Full text

Computing, Computer Science, Algorithms +16

Automatic verification of finite-state concurrent systems using temporal logic specifications

E. M. Clarke, E. Allen Emerson, A. Prasad Sistla · ACM Transactions on Programming Languages and Systems · 1986 · 3.6K citations · Full text

Computing, Computer Science, Formal Methods +16

The implementation of functional programming languages

Microprocessors and Microsystems · 1987 · 1.1K citations

Computing, Computer Science, Compilers +10

Symbolic model checking: an approach to the state explosion problem

Kenneth L. McMillan · Defense Technical Information Center (DTIC) · 1992 · 981 citations

Computing, Computer Engineering, Computer Science +17

Better verification through symmetry

C. Norris Ip, David L. Dill · Formal Methods in System Design · 1996 · 491 citations

Natural Sciences, Physics, Theoretical Physics +9