The World’s First Floating NPP: Origination and Direction of Future Development
Belyaev, V. M., Bol’shukhin, M. A., Pakhomov, A. N., Khizbullin, A. M., Lepekhin, A. N., Polunichev, V. I., Veshnyakov, K. B., Sokolov, A. N., Turusov, A. Yu
Published in Atomic energy (New York, N.Y.) (01.11.2020)
Published in Atomic energy (New York, N.Y.) (01.11.2020)
Get full text
Journal Article
Comparative Analysis of Two Approaches to Static Taint Analysis
Belyaev, M. V., Shimchik, N. V., Ignatyev, V. N., Belevantsev, A. A.
Published in Programming and computer software (01.11.2018)
Published in Programming and computer software (01.11.2018)
Get full text
Journal Article
Improving the Accuracy of Library Function Modeling in the Static Analyzer
Biktimirov, M. G., Ignatyev, V. N., Belyaev, M. V.
Published in 2023 Ivannikov Ispras Open Conference (ISPRAS) (04.12.2023)
Published in 2023 Ivannikov Ispras Open Conference (ISPRAS) (04.12.2023)
Get full text
Conference Proceeding
Comparative analysis of two approaches to the static taint analysis
Belyaev, M.V., Shimchik, N.V., Ignatyev, V.N., Belevantsev, A.A.
Published in Trudy Instituta sistemnogo programmirovaniâ (01.10.2018)
Published in Trudy Instituta sistemnogo programmirovaniâ (01.10.2018)
Get full text
Journal Article