Seguir
Kenneth McMillan
Kenneth McMillan
Microsoft Research
Email confirmado em microsoft.com - Página inicial
Título
Citado por
Citado por
Ano
Symbolic Model Checking
KL McMillan
Kluwer Academic Publishers, 1993
62371993
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
46981992
Interpolation and SAT-based model checking
KL McMillan
Computer Aided Verification: 15th International Conference, CAV 2003 …, 2003
12762003
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
8631994
Compositional model checking
EM Clarke, DE Long, KL McMillan
Carnegie Mellon University, 1989
7311989
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
7291991
Abstractions from proofs
TA Henzinger, R Jhala, R Majumdar, KL McMillan
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of …, 2004
7162004
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
6042006
Theory of latency-insensitive design
LP Carloni, KL McMillan, AL Sangiovanni-Vincentelli
IEEE Transactions on computer-aided design of integrated circuits and …, 2001
5722001
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
4461993
A technique of state space search based on unfolding
KL McMillan, DK Probst
Formal methods in system design 6, 45-65, 1995
4111995
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
3291993
Automatic abstraction without counterexamples
KL McMillan, N Amla
International Conference on Tools and Algorithms for the Construction and …, 2003
2942003
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
2622016
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
2392003
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20