基于抽取-精化的概率系统假设-保证验证 - 第十一届全国软件与应用学术会议(NASAC2012).pdf

论文《基于抽取-精化的概率系统假设-保证验证》发表于第十一届全国软件与应用学术会议(NASAC2012)。该文提出一种结合抽取与精化方法的概率系统验证机制，用于提高假设-保证验证的效率与准确性。通过将复杂系统分解为可管理的子系统进行验证，再逐步精化结果，实现了对概率系统的有效分析。研究为形式化验证提供了新的思路，具有重要的理论和应用价值。

文档为pdf格式，0.16MB，总共8页。

2025-12-14 16:47 上传 基于抽取-精化的概率系统假设-保证验证 - 第十一届全国软件与应用学术会议(NASAC2012).pdf

文件大小:

163.84 KB

下载次数:

60

基于抽取-精化的概率系统假设-保证验证 - 第十一届全国软件与应用学术会议(NASAC2012).pdf ...

高速下载