Natarajan Shankar Automated deduction for verification. 2009 41 ACM Comput. Surv. 4 http://doi.acm.org/10.1145/1592434.1592437 db/journals/csur/csur41.html#Shankar09