|
|
Publications in Math-Net.Ru |
Citations |
|
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 |
|
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 |
2
|
|
2014 |
3. |
D. A. Kondratyev, A. V. Promsky, “Towards the ’verified verifier’. Theory and practice”, Model. Anal. Inform. Sist., 21:6 (2014), 71–82 |
|
2013 |
4. |
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 |
|
2011 |
5. |
A. V. Promskii, “C program verification: VC explanation and the standard library”, Model. Anal. Inform. Sist., 18:4 (2011), 157–167 |
|
2010 |
6. |
V. A. Nepomnyashchii, I. S. Anureev, M. M. Atuchin, I. V. Mar'yasov, A. A. Petrov, A. V. Promskii, “C program verification in the multilanguage system spectrum”, Model. Anal. Inform. Sist., 17:4 (2010), 88–100 |
6
|
|
Organisations |
|
|
|
|