基于Groebner基的模型检测技术及其工具实现

作     者：廖紫骅 谭红艳 吴尽昭 LIAO Zi-hua;TAN Hong-yan;WU Jin-zhao

作者机构：中国科学院成都计算机应用研究所成都610041 中国科学院声学研究所北京100080 

基　　金：国家863计划项目(2007AA01Z143) 国家973计划项目(2007CB310803) 

出 版 物：《计算机应用》 (journal of Computer Applications)

年 卷 期：2009年第29卷第10期

页      码：2841-2843页

摘      要：为了减少运算复杂度和运算时间,优化检测的性能,使得计算过程更加快速高效,在符号化模型检测的过程中,利用G roebner基进行多项式约化,设计出新的模型检测算法。并且基于该算法开发出新的符号模型检测工具。该工具能更快速地验证各软件及硬件系统的性质,具有较高的实用价值。

主 题 词：符号模型检测 Groebner基 多项式环 不动点 模型检测工具 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

馆 藏 号：203171782...