01020naa#a2200181#i#450# RU\\bibl\106708 20251216165513.2 2413-2527 20251215b2025####ek#y0rusy0150####ca RU Формальная верификация программного обеспечения с помощью больших языковых моделей Журнальная статья Санкт-Петербург ФГБОУ ВО "Петербургский государственный университет путей сообщения Императора Александра I" 2025 6 с. Журнальная статья local Обнаружение ошибок. Проверка достоверности данных. Верификация данных. 004.052.42 Мельников Павел Андреевич Тюгашев Андрей Александрович itt-pgups.ru