ソフトウェア検証におけるLソフトウェア検証におけるLLM効果を評価する。ソフトウェア仕様を生成するためのLLMのソフトウェア工学大きな言語モデルはソフトウェア検証に役立つのかな？ソフトウェア仕様の検証のためにLLMが果たす役割を調査してる。2025-05-31T13:58:30+00:00 ― 1 分で読む