Redirecting you to http://www.cse.buffalo.edu/LRG/CSE705/Papers/shankar-survey-verif.pdf