Kenneth L. McMillan
The University of Texas at Austin(US)
Publications by Year
Research Areas
Formal Methods in Verification, Logic, programming, and type systems, Software Testing and Debugging Techniques, Embedded Systems Design Techniques, Software Reliability and Analysis Research
Most-Cited Works
- → Symbolic model checking: 1020 States and beyond(1992)2,676 cited
- → Symbolic Model Checking(1993)1,645 cited
- Symbolic model checking: an approach to the state explosion problem(1992)
- → Interpolation and SAT-Based Model Checking(2003)897 cited
- → Symbolic model checking for sequential circuit verification(1994)548 cited
- → Abstractions from proofs(2014)480 cited
- → Compositional model checking(2003)468 cited
- → Theory of latency-insensitive design(2001)433 cited