00726naa#a2200181#i#450# EN\\bibl\106708 20251217003118.3 2413-2527 20251215b2025####ek#y0engy0150####ca RU Formal software verification 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 Mel'nikov Pavel Andreevich Tyugashev Andrey Aleksandrovich itt-pgups.ru