会议论文《代码风格所引起形式验证失配问题的分析》发表于第五届中国测试学术会议，探讨了不同代码风格对形式验证结果的影响。研究指出，代码格式的不一致性可能导致验证工具误判或遗漏错误，影响系统可靠性。通过实例分析，作者提出了规范代码风格的建议，以提高形式化验证的准确性与一致性。
文档为pdf格式，0.14MB，总共3页。
举报
