Dmitry A. Kondratyev

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 9

Top Topics

Computer Programs

Abductive Inference

Top Venues

Autom. Control. Comput. Sci.

Ershov Informatics Conference

Program. Comput. Softw.

Publications

Dmitry A. Kondratyev
Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer System. Autom. Control. Comput. Sci. 56 (7) (2022)
Dmitry A. Kondratyev, Valery A. Nepomniaschy
Automation of C Program Deductive Verification without Using Loop Invariants. Program. Comput. Softw. 48 (5) (2022)
Dmitry A. Kondratyev, Alexey V. Promsky
The Complex Approach of the C-lightVer System to the Automated Error Localization in C-Programs. Autom. Control. Comput. Sci. 54 (7) (2020)
Dmitry A. Kondratyev, Ilya V. Maryasov, Valery A. Nepomniaschy
Towards Automatic Deductive Verification of C Programs over Linear Arrays. Ershov Informatics Conference (2019)
Dmitry A. Kondratyev, Alexei V. Promsky
Proof Strategy for Automated Sisal Program Verification. TOOLS (2019)
Dmitry A. Kondratyev, Ilya V. Maryasov, Valery A. Nepomniaschy
The Automation of C Program Verification by the Symbolic Method of Loop Invariant Elimination. Autom. Control. Comput. Sci. 53 (7) (2019)
Nikolay V. Shilov, Dmitry A. Kondratyev, Igor S. Anureev, Evgeny V. Bodin, Alexey V. Promsky
Platform-Independent Specification and Verification of the Standard Mathematical Square Root Function. Autom. Control. Comput. Sci. 53 (7) (2019)
Dmitry A. Kondratyev
Implementing the Symbolic Method of Verification in the C-Light Project. Ershov Informatics Conference (2017)
Dmitry A. Kondratyev, Alexey V. Promsky
Developing a self-applicable verification system. Theory and practice. Autom. Control. Comput. Sci. 49 (7) (2015)
Ilya V. Maryasov, Valery A. Nepomnyaschy, Alexey V. Promsky, Dmitry A. Kondratyev
Automatic C program verification based on mixed axiomatic semantics. Autom. Control. Comput. Sci. 48 (7) (2014)