代码风格所引起形式验证失配问题的分析

摘要：

本文主要讲述了在使用Formality作形式验证时发现了综合前后仿真失配的各种问题,并对其中由于不良的代码风格所引起的问题进行了举例分析,而且对如何修改程序提出了自己的建议。

关键词： 形式验证 代码风格 验证失配问题

作者: 李春明 宋新亮

作者单位: 江南计算技术研究所,中国 江苏无锡 214083

会议类型: 国内会议

会议名称: 第五届中国测试学术会议

会议地点: 苏州

会议语种:中文

页码: 298-300

在线出版日期: 2008-05-21（万方平台首次上网日期，不代表论文的发表时间）