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