00728naa#a2200181#i#450# EN\\bibl\106708 20260112160131.1 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 atjournal.ru