|
|
|
Publications in Math-Net.Ru |
Citations |
|
2024 |
| 1. |
S. M. Staroletov, D. A. Kondrat'ev, N. O. Garanina, I. V. Shoshmina, “VeHa-2023 Formal Verification Contest: The Experience”, Proceedings of ISP RAS, 36:2 (2024), 141–168  |
|
2023 |
| 2. |
D. A. Kondrat'ev, “Logic for reasoning about bugs in loops over data sequences (IFIL)”, Model. Anal. Inform. Sist., 30:3 (2023), 214–233 |
|
2021 |
| 3. |
D. A. Kondratyev, “Towards automatic deductive verification of C programs with sisal loops using the C-lightVer system”, Model. Anal. Inform. Sist., 28:4 (2021), 372–393 |
|
2019 |
| 4. |
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 |
|
2018 |
| 5. |
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 |
2
|
| 6. |
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 |
2
|
|
2017 |
| 7. |
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  |
5
|
|
2014 |
| 8. |
D. A. Kondratyev, A. V. Promsky, “Towards the ’verified verifier’. Theory and practice”, Model. Anal. Inform. Sist., 21:6 (2014), 71–82 |
|
2013 |
| 9. |
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 |
|
| Presentations in Math-Net.Ru |
|
|
| Organisations |
|
| |
|
|
Contact us: