Для цитирования:
КОНДРАТЬЕВ Д.А., СТАРОЛЕТОВ С.М., ШОШМИНА И.В., КРАСНЕНКОВА А.В., ЗИБОРОВ К.В., ШИЛОВ Н.В., ГАРАНИНА Н.О., ЧЕРГАНОВ Т.Ю. Соревнования по формальной верификации VeHa-2024: накопленный в течение двух лет опыт и перспективы. Труды Института системного программирования РАН. 2025;37(1):159-184. https://doi.org/10.15514/ISPRAS-2025-37(1)-10
For citation:
KONDRATYEV D.A., STAROLETOV S.M., SHOSHMINA I.V., KRASNENKOVA A.V., ZIBOROV K.V., SHILOV N.V., GARANINA N.O., CHERGANOV T.Yu. VeHa-2024 Formal Verification Contest: Two Years of Experience and Prospects. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2025;37(1):159-184. (In Russ.) https://doi.org/10.15514/ISPRAS-2025-37(1)-10
Послать статью по эл. почте 