arXiv ID:
2603.29140
arXiv 提交日期: 2026-03-31
利用GPT 4.0从需求设计有限状态机规范 / Designing FSMs Specifications from Requirements with GPT 4.0
1️⃣ 一句话总结
这篇论文提出了一个基于大语言模型(如GPT-4)的框架,用于自动将自然语言描述的系统需求转化为高质量的有限状态机规范,并通过专家主导的修复方法来提升其可靠性,以降低后续系统测试和运行中的风险。