00726naa#a2200181#i#4500001001600000005001700016011001400033100004100047102000700088200007800095210010100173215001000274608002700284675014700311700003200458700003700490856001700527EN\\bibl\10670820251217002844.3##a2413-2527##a20251215b2025####ek#y0engy0150####ca##aRU1#aFormal software verification using large language modelseJournal article1#aSaint-PetersburgcFSBEI HE "Emperor Alexander I St. Petersburg State Transport University"d2025##a6 с.##aJournal article2local##aОбнаружение ошибок. Проверка достоверности данных. Верификация данных. 004.052.42#1aMel'nikovgPavel Andreevich#1aTyugashevgAndrey Aleksandrovich4#aitt-pgups.ru