Yuliya Yurievna RazbitnovaRussia, NovosibirskResearch areaprogram verificationprogramming languagesAffiliation & position Novosibirsk State University — student E-maily.razbitnova@g.nsu.rurazbitnova.yu@gmail.com List of Articles in System Informatics: D. Kondratyev L.K. Boyandin G.E. Gonchar V.V. Marchenko A.A. Obukhova Y.Y. Razbitnova A.S. Khovanskaya D.R. Yanbulatov Formal verification of a Streebog hash function implementation with the Astra Group // System Informatics. — 2025. — # 28. — P. 25-52