Alexey V. Promsky

According to our database, Alexey V. Promsky authored at least 13 papers between 2002 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

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

2019

Towards platform-independent specification and verification of the standard trigonometry functions.

Nikolay V. Shilov, Boris L. Faifel, Svetlana O. Shilova, Aleksey V. Promsky

CoRR, 2019

Platform-Independent Specification and Verification of the Standard Mathematical Square Root Function.

Nikolay V. Shilov, Dmitry A. Kondratyev, Igor S. Anureev, Evgeny V. Bodin, Alexey V. Promsky

Autom. Control. Comput. Sci., 2019

Proof Strategy for Automated Sisal Program Verification.

Dmitry A. Kondratyev, Alexei V. Promsky

Proceedings of the Software Technology: Methods and Tools - 51st International Conference, 2019

2018

Towards platform-independent verification of the standard mathematical functions: the square root function.

Nikolay V. Shilov, Igor S. Anureev, Mikhail Berdyshev, Dmitry Kondratev, Aleksey V. Promsky

CoRR, 2018

2015

Developing a self-applicable verification system. Theory and practice.

Dmitry A. Kondratyev, Alexey V. Promsky

Autom. Control. Comput. Sci., 2015

2014

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

2012

C program verification: Verification condition explanation and standard library.

Alexey V. Promsky

Autom. Control. Comput. Sci., 2012

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

2006

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

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

Verification-Oriented Language C-Light and Its Structural Operational Semantics.

Valery A. Nepomniaschy, Igor S. Anureev, Alexey V. Promsky

Proceedings of the Perspectives of Systems Informatics, 2003

2002

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