TY  JOUR
TI  Formal Verification of Software Using Large Language Models
KW  large language models
KW  formal verification
KW  specification automation
KW  Java Modeling Language
KW  artificial intelligence
JO  Intellectual Technologies on Transport
AU  Melnikov, P.A.
AU  Tyugashev, A.A.
PY  2025
IS  0
PB  FSBEI HE "Emperor Alexander I St. Petersburg State Transport University"