C. A. R. Hoare Jayadev Misra Gary T. Leavens Natarajan Shankar The verified software initiative: A manifesto. 2009 41 ACM Comput. Surv. 4 http://doi.acm.org/10.1145/1592434.1592439 db/journals/csur/csur41.html#HoareMLS09