基于线性带权值的广义表的模型检验方法

摘要：

提出了一个线性带权值的广义表(Linear Weighted Generalized List,LWGL)模型,同时给出了LWGL加法和乘法、析取和合取运算规则,实现了基于LWGL的高层次模型检验方法.实验结果表明LWGL模型对高层次模型检验是有效的.

关键词：线性带权值的广义表、模型检验、验证、数据流图

所属期刊栏目：44

分类号：TP391.7(计算技术、计算机技术)

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

页数：共4页

页码：88-91