TY  JOUR
TI  Formal software verification using large language models
KW  JML
KW  large language models
KW  formal verification
KW  specification automation
KW  artificial intelligence
JO  Intellectual Technologies on Transport
AU  Mel'nikov, P.A.
AU  Tyugashev, A.A.
PY  2025
IS  0
PB  FSBEI HE "Emperor Alexander I St. Petersburg State Transport University"