计算机工程与应用 ›› 2008, Vol. 44 ›› Issue (29): 88-91.DOI: 10.3778/j.issn.1002-8331.2008.29.024
• 研发、设计、测试 • 上一篇 下一篇
刘恩军
收稿日期:
修回日期:
出版日期:
发布日期:
通讯作者:
LIU En-jun
Received:
Revised:
Online:
Published:
Contact:
摘要： 提出了一个线性带权值的广义表（Linear Weighted Generalized List，LWGL）模型，同时给出了LWGL加法和乘法、析取和合取运算规则，实现了基于LWGL的高层次模型检验方法。实验结果表明LWGL模型对高层次模型检验是有效的。
关键词: 线性带权值的广义表, 模型检验, 验证, 数据流图
Abstract: A model of linear weighted generalized list（LWGL） is proposed.The rules of addition，multiplication，union and intersect for LWGL are proposed.Based on the LWGL，it is implemented for high level model checking.Experimental results show that LWGL used for high level model checking is effective.
Key words: linear weighted generalized list, model checking, verification, data flow diagrams
刘恩军. 基于线性带权值的广义表的模型检验方法[J]. 计算机工程与应用, 2008, 44(29): 88-91.
LIU En-jun. Method of model checking based on linear weighted generalized list[J]. Computer Engineering and Applications, 2008, 44(29): 88-91.
0 / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://cea.ceaj.org/CN/10.3778/j.issn.1002-8331.2008.29.024
http://cea.ceaj.org/CN/Y2008/V44/I29/88
