00728naa#a2200181#i#4500001001600000005001700016011001400033100004100047102000700088200008100095210010100176215001000277608002700287675014700314700003100461700003700492856001700529EN\\bibl\10670820260113114038.2##a2413-2527##a20251215b2025####ek#y0engy0150####ca##aRU1#aFormal Verification of Software Using Large Language ModelseJournal article1#aSaint-PetersburgcFSBEI HE "Emperor Alexander I St. Petersburg State Transport University"d2025##a6 с.##aJournal article2local##aОбнаружение ошибок. Проверка достоверности данных. Верификация данных. 004.052.42#1aMelnikovgPavel Andreevich#1aTyugashevgAndrey Aleksandrovich4#aatjournal.ru