Kelvin Ku

Publication Activity (10 Years)

Years Active: 2007-2008
Publications (10 Years): 0

Publications

Thomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie
Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates. ASE (2008)
Thomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie
PtYasm: Software Model Checking with Proof Templates. ASE (2008)
Kelvin Ku, Thomas E. Hart, Marsha Chechik, David Lie
A buffer overflow benchmark for software model checkers. ASE (2007)