@article{Melnikov2025formal,
author={Melnikov, P.A. and Tyugashev, A.A.},
title={Formal Verification of Software 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},
}