Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Kondrat'ev, Dmitrii Aleksandrovich

Statistics Math-Net.Ru
Total publications: 6
Scientific articles: 6
Presentations: 1

Number of views:
This page:85
Abstract pages:707
Full texts:360
References:66
E-mail:

http://www.mathnet.ru/eng/person91141
List of publications on Google Scholar
List of publications on ZentralBlatt
http://orcid.org/0000-0002-9387-6735

Publications in Math-Net.Ru
2019
1. D. A. Kondratyev, A. V. Promsky, “The complex approach of the C-lightVer system to the automated error localization in C-programs”, Model. Anal. Inform. Sist., 26:4 (2019),  502–519  mathnet
2018
2. N. V. Shilov, D. A. Kondratyev, I. S. Anureev, E. V. Bodin, A. V. Promsky, “Platform-independent specification and verification of the standard mathematical square root function”, Model. Anal. Inform. Sist., 25:6 (2018),  637–666  mathnet
3. D. A. Kondratyev, I. V. Maryasov, V. A. Nepomnyaschy, “The automation of C program verification by symbolic method of loop invariants elimination”, Model. Anal. Inform. Sist., 25:5 (2018),  491–505  mathnet
2017
4. I. V. Maryasov, V. A. Nepomniaschy, D. A. Kondratyev, “Invariant elimination of definite iterations over arrays in C programs verification”, Model. Anal. Inform. Sist., 24:6 (2017),  743–754  mathnet  elib
2014
5. D. A. Kondratyev, A. V. Promsky, “Towards the verified verifier. Theory and practice”, Model. Anal. Inform. Sist., 21:6 (2014),  71–82  mathnet
2013
6. I. V. Maryasov, V. A. Nepomnyaschy, A. V. Promsky, D. A. Kondratyev, “Automatic C Program Verification Based on Mixed Axiomatic Semantics”, Model. Anal. Inform. Sist., 20:6 (2013),  52–63  mathnet

Presentations in Math-Net.Ru
1. Platform-independent model of fix-point arithmetic for verification of the standard mathematical functions
N. V. Shilov, D. A. Kondrat'ev
Logical Perspectives 2021: Summer School and Workshop
June 17, 2021 12:30   

Organisations
 
Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2021