论文部分内容阅读
成功设计一个复杂数字系统要求在设计的各个阶段验证实现的正确性，传统的模拟验证已不能完全满足需要，形式验证技术成为了重要的补充。研究了国内外形式验证技术的研究成果，对主要方法进行了分析和比较并对新的热点进行了展望。
数字系统的形式化验证方法
【摘 要】
：
成功设计一个复杂数字系统要求在设计的各个阶段验证实现的正确性，传统的模拟验证已不能完全满足需要，形式验证技术成为了重要的补充。研究了国内外形式验证技术的研究成果，对主
【机 构】
：
合肥师范学院计算机科学技术系,安徽电气工程职业技术学院
【出 处】
：
合肥师范学院学报
【发表日期】
：
2008年3期
其他文献
目的通过观察进行标准化屋尘螨特异性免疫治疗(脱敏治疗)的支气管哮喘(简称哮喘)患儿,在脱敏治疗过程中出现的不良反应,评价脱敏治疗的安全性。方法对在苏州大学附属儿童医院
白三烯受体拮抗剂在支气管哮喘治疗中占有重要地位,既可作单独治疗,也可作为辅助治疗。本文从《全球哮喘创议》（Global Initiative for Asthma,GINA）角度（治疗阶梯）出发,分析白三
历代医家通过长期的临床实践得出：有病始有症,辨证方能识病,识病后才可施治。中医学限于当时的历史条件和对事物认识程度只能根据辨证来进行临床治疗。但随着时代的进步,科学
高斯函数y=[x]形式简单，性质独特。在数学分析教学中它出现在极限、导数、积分、级数等各种类型的习题上，处理方式也比较灵活有趣。本文通过实例给出了取整函数在数学分析的证