Kenneth L. McMillan

Symbolic model checking: 1020 States and beyond

Jerry R. Burch, E. M. Clarke, Kenneth L. McMillan et al. · Information and Computation · 1992 · 2.7K citations

Engineering, Automated Reasoning, Verification +8

Symbolic model checking: an approach to the state explosion problem

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

Symbolic model checking for sequential circuit verification

Jerry R. Burch, E. M. Clarke, David E. Long et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1994 · 548 citations

Engineering, Verification, Computer-aided Verification +18

Abstractions from proofs

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar et al. · ACM SIGPLAN Notices · 2014 · 480 citations

Program Checking, Engineering, Verification +17

Compositional model checking

E. M. Clarke, David E. Long, Kenneth L. McMillan · 2003 · 468 citations

Engineering, Temporal Logic Model, Verification +22