会议论文《抽象距离引导的半形式化验证方法》发表于第十三届全国容错计算学术会议。该文提出一种基于抽象距离的半形式化验证方法，旨在提高系统验证的效率与准确性。通过引入抽象距离概念，论文实现了对系统行为的层次化分析，有效降低了形式化验证的复杂性。该方法在容错计算领域具有重要应用价值，为复杂系统的可靠性评估提供了新思路。
文档为pdf格式，0.34MB，总共5页。
举报
