00728naa#a2200181#i#450# EN\\bibl\106708 20260204110335.3 2413-2527 20251215b2025####ek#y0engy0150####ca RU Formal Verification of Software Using Large Language Models Journal article Saint-Petersburg FSBEI HE "Emperor Alexander I St. Petersburg State Transport University" 2025 6 с. Journal article local Обнаружение ошибок. Проверка достоверности данных. Верификация данных. 004.052.42 Melnikov Pavel Andreevich Tyugashev Andrey Aleksandrovich itt-pgups.ru