Alexey V. Promsky

Publication Activity (10 Years)

Years Active: 2002-2020
Publications (10 Years): 3

Top Topics

Formal Verification

Theoretical Insights

Accurate Localization

Top Venues

Autom. Control. Comput. Sci.

Publications

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)
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, 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)
Alexey V. Promsky
C program verification: Verification condition explanation and standard library. Autom. Control. Comput. Sci. 46 (7) (2012)
Valery A. Nepomniaschy, Igor S. Anureev, M. M. Atuchin, Ilya V. Maryasov, A. A. Petrov, Alexey V. Promsky
C program verification in SPECTRUM multilanguage system. Autom. Control. Comput. Sci. 45 (7) (2011)
Valery A. Nepomniaschy, Igor S. Anureev, I. V. Dubranovskii, Alexey V. Promsky
Towards verification of C# programs: A three-level approach. Program. Comput. Softw. 32 (4) (2006)
Valery A. Nepomniaschy, Igor S. Anureev, Alexey V. Promsky
Verification-Oriented Language C-Light and Its Structural Operational Semantics. Ershov Memorial Conference (2003)
Valery A. Nepomniaschy, Igor S. Anureev, Alexey V. Promsky
Towards Verification of C Programs: Axiomatic Semantics of the C-kernel Language. Program. Comput. Softw. 29 (6) (2003)
Valery A. Nepomniaschy, Igor S. Anureev, I. N. Mikhailov, Alexey V. Promsky
Towards Verification of C Programs. C-Light Language and Its Formal Semantics. Program. Comput. Softw. 28 (6) (2002)