研究人员开发了EPIK，一种将贝叶斯学习与定量验证相结合的新方法，用于分析软件系统的可靠性和响应时间等属性。EPIK通过提取和嵌入直接可观察且具有语义意义的系统级属性来解决先验知识不准确或信息不足的挑战，而不是依赖于形式化模型的转移参数。实验评估证明了EPIK在各种真实案例研究中的有效性、灵活性和通用性。 AI
影响 这项研究可以提高软件系统的定量分析的准确性和鲁棒性，从而可能带来更可靠、更高效的软件。
排序理由 该集群包含一篇关于软件验证新方法的学术论文。[lever_c_demoted from research: ic=1 ai=0.4]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
