01020naa#a2200181#i#4500001001600000005001700016011001400033100004100047102000700088200019600095210021400291215001000505608004500515675014700560700005400707700006000761856001700821RU\\bibl\10670820251216165403.2##a2413-2527##a20251215b2025####ek#y0rusy0150####ca##aRU1#aФормальная верификация программного обеспечения с помощью больших языковых моделейeЖурнальная статья1#aСанкт-ПетербургcФГБОУ ВО "Петербургский государственный университет путей сообщения Императора Александра I"d2025##a6 с.##aЖурнальная статья2local##aОбнаружение ошибок. Проверка достоверности данных. Верификация данных. 004.052.42#1aМельниковgПавел Андреевич#1aТюгашевgАндрей Александрович4#aitt-pgups.ru