@article{Mel'nikov2025formal,
author={Mel'nikov, P.A. and Tyugashev, A.A.},
title={Formal software verification using large language models},
journal={Intellectual Technologies on Transport},
publisher={FSBEI HE "Emperor Alexander I St. Petersburg State Transport University"},
year={2025},
pages={47-53},
volume={0},
issue={4},
}