C-programs verification based on mixed axiomatic semantics. - Igor S. Anureev; Ilya V. Maryasov; Valery A. Nepomniaschy (Autom. Control. Comput. Sci., 2011)

C program verification in SPECTRUM multilanguage system. - Valery A. Nepomniaschy; Igor S. Anureev; M. M. Atuchin; Ilya V. Maryasov; A. A. Petrov; Alexey V. Promsky (Autom. Control. Comput. Sci., 2011)

Automatic C program verification based on mixed axiomatic semantics. - Ilya V. Maryasov; Valery A. Nepomnyaschy; Alexey V. Promsky; Dmitry A. Kondratyev (Autom. Control. Comput. Sci., 2014)

Towards Automatic Deductive Verification of C Programs over Linear Arrays. - Dmitry A. Kondratyev; Ilya V. Maryasov; Valery A. Nepomniaschy (Ershov Informatics Conference, 2019)

The Automation of C Program Verification by the Symbolic Method of Loop Invariant Elimination. - Dmitry A. Kondratyev; Ilya V. Maryasov; Valery A. Nepomniaschy (Autom. Control. Comput. Sci., 2019)