V. N. Ignatiev

Publication Activity (10 Years)

Years Active: 2014-2017
Publications (10 Years): 1

Top Topics

Provably Correct

Automatic Programming

Top Venues

Program. Comput. Softw.

Publications

V. K. Koshelev, V. N. Ignatiev, A. I. Borzilov, A. A. Belevantsev
SharpChecker: Static analysis tool for C# programs. Program. Comput. Softw. 43 (4) (2017)
V. P. Ivannikov, A. A. Belevantsev, A. E. Borodin, V. N. Ignatiev, D. M. Zhurikhin, Arutyun Avetisyan
Static analyzer Svace for finding defects in a source program code. Program. Comput. Softw. 40 (5) (2014)