Towards Verification of C Programs. C-Light Language and Its Formal Semantics. - Valery A. Nepomniaschy; Igor S. Anureev; I. N. Mikhailov; Alexey V. Promsky (Program. Comput. Softw., 2002)

Verification-Oriented Language C-Light and Its Structural Operational Semantics. - Valery A. Nepomniaschy; Igor S. Anureev; Alexey V. Promsky (Ershov Memorial Conference, 2003)

Towards Verification of C Programs: Axiomatic Semantics of the C-kernel Language. - Valery A. Nepomniaschy; Igor S. Anureev; Alexey V. Promsky (Program. Comput. Softw., 2003)

Towards verification of C# programs: A three-level approach. - Valery A. Nepomniaschy; Igor S. Anureev; I. V. Dubranovskii; Alexey V. Promsky (Program. Comput. Softw., 2006)

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)

C program verification: Verification condition explanation and standard library. - Alexey V. Promsky (Autom. Control. Comput. Sci., 2012)

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)

Developing a self-applicable verification system. Theory and practice. - Dmitry A. Kondratyev; Alexey V. Promsky (Autom. Control. Comput. Sci., 2015)

Towards platform-independent verification of the standard mathematical functions: the square root function. - Nikolay V. Shilov 002; Igor S. Anureev; Mikhail Berdyshev; Dmitry Kondratev; Aleksey V. Promsky (CoRR, 2018)

Proof Strategy for Automated Sisal Program Verification. - Dmitry A. Kondratyev; Alexei V. Promsky (TOOLS, 2019)

Platform-Independent Specification and Verification of the Standard Mathematical Square Root Function. - Nikolay V. Shilov 002; Dmitry A. Kondratyev; Igor S. Anureev; Evgeny V. Bodin; Alexey V. Promsky (Autom. Control. Comput. Sci., 2019)

Towards platform-independent specification and verification of the standard trigonometry functions. - Nikolay V. Shilov 002; Boris L. Faifel; Svetlana O. Shilova; Aleksey V. Promsky (CoRR, 2019)

The Complex Approach of the C-lightVer System to the Automated Error Localization in C-Programs. - Dmitry A. Kondratyev; Alexey V. Promsky (Autom. Control. Comput. Sci., 2020)