Kondrat'ev Dmitrii Aleksandrovich

Publications in Math-Net.Ru

1. VeHa-2024 formal verification contest: two years of experience and prospects
   
   Proceedings of ISP RAS, 37:1 (2025),  159–184
2. VeHa-2023 formal verification contest: the experience
   
   Proceedings of ISP RAS, 36:2 (2024),  141–168
3. Logic for reasoning about bugs in loops over data sequences (IFIL)
   
   Model. Anal. Inform. Sist., 30:3 (2023),  214–233
4. Towards automatic deductive verification of C programs with sisal loops using the C-lightVer system
   
   Model. Anal. Inform. Sist., 28:4 (2021),  372–393
5. 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
6. Platform-independent specification and verification of the standard mathematical square root function
   
   Model. Anal. Inform. Sist., 25:6 (2018),  637–666
7. The automation of C program verification by symbolic method of loop invariants elimination
   
   Model. Anal. Inform. Sist., 25:5 (2018),  491–505
8. Invariant elimination of definite iterations over arrays in C programs verification
   
   Model. Anal. Inform. Sist., 24:6 (2017),  743–754
9. Towards the ’verified verifier’. Theory and practice
   
   Model. Anal. Inform. Sist., 21:6 (2014),  71–82
10. Automatic C Program Verification Based on Mixed Axiomatic Semantics
    
    Model. Anal. Inform. Sist., 20:6 (2013),  52–63