| Symbolic model checking KL McMillan, KL McMillan Symbolic Model Checking, 25-60, 1993 | 6149 | 1993 |
| Symbolic model checking: 1020 states and beyond JR Burch, EM Clarke, KL McMillan, DL Dill, LJ Hwang Information and computation 98 (2), 142-170, 1992 | 4653 | 1992 |
| Interpolation and SAT-based model checking KL McMillan Computer Aided Verification: 15th International Conference, CAV 2003 …, 2003 | 1229 | 2003 |
| Symbolic model checking for sequential circuit verification JR Burch, EM Clarke, DE Long, KL McMillan, DL Dill IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 1994 | 855 | 1994 |
| Compositional model checking EM Clarke, DE Long, KL McMillan Carnegie Mellon University, 1989 | 726 | 1989 |
| Sequential circuit verification using symbolic model checking JR Burch, EM Clarke, KL McMillan, DL Dill Proceedings of the 27th ACM/IEEE Design Automation Conference, 46-51, 1991 | 722 | 1991 |
| Abstractions from proofs TA Henzinger, R Jhala, R Majumdar, KL McMillan Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of …, 2004 | 701 | 2004 |
| Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits KL McMillan Computer Aided Verification: Fourth International Workshop, CAV'92 Montreal …, 1993 | 629 | 1993 |
| Lazy abstraction with interpolants KL McMillan Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006 | 587 | 2006 |
| Theory of latency-insensitive design LP Carloni, KL McMillan, AL Sangiovanni-Vincentelli IEEE Transactions on computer-aided design of integrated circuits and …, 2001 | 568 | 2001 |
| Spectral transforms for large Boolean functions with applications to technology mapping EM Clarke, KL McMillan, X Zhao, M Fujita, J Yang Proceedings of the 30th International Design Automation Conference, 54-60, 1993 | 436 | 1993 |
| A technique of state space search based on unfolding KL McMillan, DK Probst Formal methods in system design 6, 45-65, 1995 | 400 | 1995 |
| Efficient generation of counterexamples and witnesses in symbolic model checking EM Clarke, O Grumberg, KL McMillan, X Zhao Proceedings of the 32nd annual ACM/IEEE Design Automation Conference, 427-432, 1995 | 352 | 1995 |
| The SMV system KL McMillan, KL McMillan Symbolic Model Checking, 61-85, 1993 | 320 | 1993 |
| Automatic abstraction without counterexamples KL McMillan, N Amla International Conference on Tools and Algorithms for the Construction and …, 2003 | 297 | 2003 |
| Verification of the Futurebus+ cache coherence protocol EM Clarke, O Grumberg, H Hiraishi, S Jha, DE Long, KL McMillan, ... Computer Hardware Description Languages and Their Applications, 15-30, 1993 | 267 | 1993 |
| An interpolating theorem prover KL McMillan Theoretical Computer Science 345 (1), 101-121, 2005 | 251 | 2005 |
| A methodology for correct-by-construction latency insensitive design LP Carloni, KL McMillan, A Saldanha, AL Sangiovanni-Vincentelli The Best of ICCAD: 20 Years of Excellence in Computer-Aided Design, 143-158, 2003 | 240 | 2003 |
| Verification of an implementation of Tomasulo's algorithm by compositional model checking KL McMillan Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998 | 240 | 1998 |
| Ivy: safety verification by interactive generalization O Padon, KL McMillan, A Panda, M Sagiv, S Shoham Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016 | 239 | 2016 |
