%0 Journal Article
%T Formal software verification using large language models
%A Mel'nikov, P.A.
%A Tyugashev, A.A.
%K JML, large language models, formal verification, specification automation, artificial intelligence
%J Intellectual Technologies on Transport
%D 2025
%N 0
%P 6
%I FSBEI HE "Emperor Alexander I St. Petersburg State Transport University"