Share This Author
Symbolic model checking
- K. McMillan
- Computer ScienceCAV
- 31 July 1993
TLDR
Symbolic Model Checking: 10^20 States and Beyond
- J. Burch, E. Clarke, K. McMillan, D. Dill, L. Hwang
- Computer ScienceInf. Comput.
- 4 June 1990
Symbolic model checking: an approach to the state explosion problem
- K. McMillan
- Computer Science
- 1992
TLDR
Interpolation and SAT-Based Model Checking
- K. McMillan
- Computer ScienceCAV
- 8 July 2003
TLDR
An interpolating theorem prover
- K. McMillan
- Computer Science, MathematicsTheor. Comput. Sci.
- 21 November 2005
Lazy Abstraction with Interpolants
- K. McMillan
- Computer ScienceCAV
- 17 August 2006
TLDR
Applying SAT Methods in Unbounded Symbolic Model Checking
- K. McMillan
- Computer ScienceCAV
- 27 July 2002
A method of symbolic model checking is introduced that uses conjunctive normal form (CNF) rather than binary decision diagrams (BDD's) and uses a SAT-based approach to quantifier elimination. This…
A technique of state space search based on unfolding
- K. McMillan
- Computer ScienceFormal Methods Syst. Des.
- 1995
TLDR
Using Unfoldings to Avoid the State Explosion Problem in the Verification of Asynchronous Circuits
- K. McMillan
- Computer ScienceCAV
- 29 June 1992
TLDR
Theory of latency-insensitive design
- L. Carloni, K. McMillan, A. Sangiovanni-Vincentelli
- Computer ScienceIEEE Trans. Comput. Aided Des. Integr. Circuits…
- 1 September 2001
TLDR
...
...