The verified software initiative: A manifesto - Hoare, C; Misra, J; Leavens, G; Shankar, N (ACM Comput. Surv., 2009)