1. Apt, K.R. and Olderog, E.R., Verification of Sequential and Concurrent Programs, Berlin etc.: Springer, 1991.
2. Cohen, E., Dahlweid, M., Hillebrand, M.A., Leinenbach, D., Moskal, M., Santen, T., Schulte, W., and Tobies, S., VCC: A practical system for verifying concurrent C, Proc. TPHOLs 2009, LNCS, 2009, vol. 5674, p. 23–42.
3. Filliatre, J.C. and Marche, C., Multi-prover verification of C programs, Proc. ICFEM 2004, LNCS, 2004, vol. 3308, p. 15–29.
4. Maryasov, I.V., Nepomnyaschy, V.A., Promsky, A.V., and Kondratyev, D.A., Automatic C program verification based on mixed axiomatic semantics, Proc. Fourth Workshop “Program Semantics, Specification and Verification: Theory and Applications,” Yekaterinburg, 2013, p. 50–59.
5. Moriconi, M. and Schwartz, R.L., Automatic construction of verification condition generators from Hoare logics, Lect. Notes Comput. Sci., 1981, vol. 115, p. 363–377.