研究人员开发了VERIMED，这是一个新颖的流程，它结合了大型语言模型和SMT求解器来审计自然语言软件需求，特别是用于医疗设备等安全关键应用。这种神经符号方法将需求转化为形式逻辑，通过形式化的变化识别歧义，并使用求解器查询检测不一致或安全违规。在开源医疗设备需求上的实验表明，VERIMED能有效减少歧义，并显著提高已验证规范的准确性。 AI
影响 通过对自然语言需求进行严格的自动化审计，提高了关键软件的安全性与可靠性。
排序理由 发布了一篇详细介绍软件需求审计新方法的学术论文。[lever_c_demoted from research: ic=1 ai=1.0]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
