Kenneth McMillan
Kenneth McMillan
Microsoft Research
Verified email at microsoft.com - Homepage
Title
Cited by
Cited by
Year
Symbolic model checking
KL McMillan
Symbolic Model Checking, 25-60, 1993
58401993
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
43001992
Interpolation and SAT-based model checking
KL McMillan
International Conference on Computer Aided Verification, 1-13, 2003
10522003
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
8441994
Sequential circuit verification using symbolic model checking
JR Burch, EM Clarke, KL McMillan, DL Dill
27th ACM/IEEE Design Automation Conference, 46-51, 1990
6901990
Abstractions from proofs
TA Henzinger, R Jhala, R Majumdar, KL McMillan
ACM SIGPLAN Notices 39 (1), 232-244, 2004
6532004
Compositional model checking
EM Clarke, DE Long, KL McMillan
6511989
Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits
KL McMillan
International Conference on Computer Aided Verification, 164-177, 1992
5891992
Lazy abstraction with interpolants
KL McMillan
International Conference on Computer Aided Verification, 123-136, 2006
5272006
Theory of latency-insensitive design
LP Carloni, KL McMillan, AL Sangiovanni-Vincentelli
IEEE Transactions on computer-aided design of integrated circuits and …, 2001
5122001
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
4151993
A technique of state space search based on unfolding
KL McMillan, DK Probst
Formal methods in system design 6 (1), 45-65, 1995
3961995
The SMV system
KL McMillan
Symbolic Model Checking, 61-85, 1993
3641993
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
3321995
Automatic abstraction without counterexamples
KL McMillan, N Amla
International Conference on Tools and Algorithms for the Construction and …, 2003
2882003
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
2541993
An interpolating theorem prover
KL McMillan
Theoretical Computer Science 345 (1), 101-121, 2005
2382005
Verification of an implementation of Tomasulo's algorithm by compositional model checking
KL McMillan
International Conference on Computer Aided Verification, 110-121, 1998
2331998
A methodology for correct-by-construction latency insensitive design
LP Carloni, KL McMillan, A Saldanha, AL Sangiovanni-Vincentelli
The Best of ICCAD, 143-158, 2003
2292003
Verification of infinite state systems by compositional model checking
KL McMillan
Advanced Research Working Conference on Correct Hardware Design and …, 1999
2241999
The system can't perform the operation now. Try again later.
Articles 1–20