Follow
Kenneth McMillan
Kenneth McMillan
Microsoft Research
Verified email at microsoft.com - Homepage
Title
Cited by
Cited by
Year
Symbolic Model Checking
KL McMillan
Kluwer Academic Publishers, 1993
62551993
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
47111992
Interpolation and SAT-based model checking
KL McMillan
Computer Aided Verification: 15th International Conference, CAV 2003 …, 2003
12882003
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
8651994
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
7311991
Compositional model checking
EM Clarke, DE Long, KL McMillan
Carnegie Mellon University, 1989
7311989
Abstractions from proofs
TA Henzinger, R Jhala, R Majumdar, KL McMillan
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of …, 2004
7182004
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
6441993
Lazy abstraction with interpolants
KL McMillan
Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006
6102006
Theory of latency-insensitive design
LP Carloni, KL McMillan, AL Sangiovanni-Vincentelli
IEEE Transactions on computer-aided design of integrated circuits and …, 2001
5762001
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
4471993
A technique of state space search based on unfolding
KL McMillan, DK Probst
Formal methods in system design 6, 45-65, 1995
4121995
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
3541995
The SMV system
KL McMillan, KL McMillan
Symbolic Model Checking, 61-85, 1993
3321993
Automatic abstraction without counterexamples
KL McMillan, N Amla
International Conference on Tools and Algorithms for the Construction and …, 2003
2952003
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
2711993
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
2702016
An interpolating theorem prover
KL McMillan
Theoretical Computer Science 345 (1), 101-121, 2005
2542005
Verification of an implementation of Tomasulo's algorithm by compositional model checking
KL McMillan
Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998
2421998
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
2412003
The system can't perform the operation now. Try again later.
Articles 1–20