Follow
Kenneth McMillan
Kenneth McMillan
Microsoft Research
Verified email at microsoft.com - Homepage
Title
Cited by
Cited by
Year
Symbolic model checking
KL McMillan, KL McMillan
Symbolic Model Checking, 25-60, 1993
61421993
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
46401992
Interpolation and SAT-based model checking
KL McMillan
Computer Aided Verification: 15th International Conference, CAV 2003 …, 2003
12122003
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
8481994
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
7241991
Compositional model checking
EM Clarke, DE Long, KL McMillan
Carnegie Mellon University, 1989
7231989
Abstractions from proofs
TA Henzinger, R Jhala, R Majumdar, KL McMillan
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of …, 2004
6952004
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
6241993
Lazy abstraction with interpolants
KL McMillan
Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006
5752006
Theory of latency-insensitive design
LP Carloni, KL McMillan, AL Sangiovanni-Vincentelli
IEEE Transactions on computer-aided design of integrated circuits and …, 2001
5672001
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
4391993
A technique of state space search based on unfolding
KL McMillan, DK Probst
Formal methods in system design 6, 45-65, 1995
4061995
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
3171993
Automatic abstraction without counterexamples
KL McMillan, N Amla
International Conference on Tools and Algorithms for the Construction and …, 2003
2982003
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
2571993
An interpolating theorem prover
KL McMillan
Theoretical Computer Science 345 (1), 101-121, 2005
2512005
Verification of an implementation of Tomasulo's algorithm by compositional model checking
KL McMillan
Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998
2431998
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
2372003
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
2352016
The system can't perform the operation now. Try again later.
Articles 1–20