A. I. Borzilov

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)
Vartan A. Padaryan, A. I. Getman, M. A. Solov'ev, M. G. Bakulin, A. I. Borzilov, V. V. Kaushan, I. N. Ledovskikh, Yu. V. Markin, S. S. Panasenko
Methods and software tools to support combined binary code analysis. Program. Comput. Softw. 40 (5) (2014)