%0 Journal Article
%T Formal Verification of Software Using Large Language Models
%A Melnikov, P.A.
%A Tyugashev, A.A.
%K large language models, formal verification, specification automation, Java Modeling Language, artificial intelligence
%J Intellectual Technologies on Transport
%D 2025
%N 0
%P 6
%I FSBEI HE "Emperor Alexander I St. Petersburg State Transport University"