TY  JOUR
TI  Формальная верификация программного обеспечения с помощью больших языковых моделей
KW  JML
KW  большие языковые модели
KW  формальная верификация
KW  автоматизация спецификаций
KW  искусственный интеллект
JO  Интеллектуальные технологии на транспорте
AU  Мельников, П.А.
AU  Тюгашев, А.А.
PY  2025
IS  0
PB  ФГБОУ ВО &quot;Петербургский государственный университет путей сообщения Императора Александра I&quot;