Promskii Aleksei Vladimirovich

Publications in Math-Net.Ru

1. 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
2. Platform-independent specification and verification of the standard mathematical square root function
   
   Model. Anal. Inform. Sist., 25:6 (2018),  637–666
3. Towards the ’verified verifier’. Theory and practice
   
   Model. Anal. Inform. Sist., 21:6 (2014),  71–82
4. Automatic C Program Verification Based on Mixed Axiomatic Semantics
   
   Model. Anal. Inform. Sist., 20:6 (2013),  52–63
5. C program verification: VC explanation and the standard library
   
   Model. Anal. Inform. Sist., 18:4 (2011),  157–167
6. C program verification in the multilanguage system spectrum
   
   Model. Anal. Inform. Sist., 17:4 (2010),  88–100