PulseAugur
中
实时 16:32:51
实体 Medical Device Software

Medical Device Software

PulseAugur coverage of Medical Device Software — every cluster mentioning Medical Device Software across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_30712 ·

    神经符号AI审计医疗设备软件需求安全性

    研究人员开发了VERIMED，这是一个新颖的流程，它结合了大型语言模型和SMT求解器来审计自然语言软件需求，特别是用于医疗设备等安全关键应用。这种神经符号方法将需求转化为形式逻辑，通过形式化的变化识别歧义，并使用求解器查询检测不一致或安全违规。在开源医疗设备需求上的实验表明，VERIMED能有效减少歧义，并显著提高已验证规范的准确性。