%0 Journal Article
%T Формальная верификация программного обеспечения с помощью больших языковых моделей
%A Мельников, П.А.
%A Тюгашев, А.А.
%K JML, большие языковые модели, формальная верификация, автоматизация спецификаций, искусственный интеллект
%J Интеллектуальные технологии на транспорте
%D 2025
%N 0
%P 6
%I ФГБОУ ВО &quot;Петербургский государственный университет путей сообщения Императора Александра I&quot;