@article{Мельников2025формальная,
author={Мельников, П.А. and Тюгашев, А.А.},
title={Формальная верификация программного обеспечения с помощью больших языковых моделей},
journal={Интеллектуальные технологии на транспорте},
publisher={ФГБОУ ВО "Петербургский государственный университет путей сообщения Императора Александра I"},
year={2025},
pages={47-53},
volume={0},
issue={4},
}