@techreport{jain08phdthesis, author = {Himanshu Jain}, title = {Verification Using Satisfiability Checking, Predicate Abstraction, and Craig Interpolation}, year = {2008}, institution = {Carnegie Mellon University, School of Computer Science}, number = {CMU-CS-08-146}, }