Method of model checking based on linear weighted generalized list

doi:10.3778/j.issn.1002-8331.2008.29.024

Computer Engineering and Applications ›› 2008, Vol. 44 ›› Issue (29): 88-91.DOI: 10.3778/j.issn.1002-8331.2008.29.024

• 研发、设计、测试 • Previous Articles Next Articles

Method of model checking based on linear weighted generalized list

LIU En-jun

Network Information Center，Qiqihar University，Qiqihar，Heilongjiang 161006，China

Received:2008-05-07 Revised:2008-07-11 Online:2008-10-11 Published:2008-10-11
Contact: LIU En-jun

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

刘恩军

齐齐哈尔大学网络信息中心，黑龙江齐齐哈尔161006

通讯作者: 刘恩军

Abstract

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

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

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

LIU En-jun. Method of model checking based on linear weighted generalized list[J]. Computer Engineering and Applications, 2008, 44(29): 88-91.

刘恩军. 基于线性带权值的广义表的模型检验方法[J]. 计算机工程与应用, 2008, 44(29): 88-91.

[1]	ZHENG Liang, CHEN Ya, CHEN Xiaopan, ZHENG Fengbin. Kinship Verification Method of Facial Local Feature Enhancement [J]. Computer Engineering and Applications, 2021, 57(23): 226-233.
[2]	LI Duo, DONG Chaoqun, SI Pinchao, HE Man, LIU Qianchao. Survey of Research on Neural Network Verification and Testing Technology [J]. Computer Engineering and Applications, 2021, 57(22): 53-67.
[3]	TAN Lijuan, ZHENG Wei, LIU Youlin, FAN Xin, YANG Fengyu. Survey of Airborne Software Test and Verification Methods for Airworthiness Standards [J]. Computer Engineering and Applications, 2021, 57(15): 9-22.
[4]	LIU Youlin, ZHENG Wei, TAN Lijuan, FAN Xin, YANG Fengyu. Summary of Airborne Software Testing and Verification Tools for Airworthiness Standards [J]. Computer Engineering and Applications, 2021, 57(11): 1-10.
[5]	TANG Dengping, CAI Wenjia, ZOU Li, HU Xiang, DING Li, WANG Xue. Application of Improved Convolution Neural Network in Fault Diagnosis of Transformer [J]. Computer Engineering and Applications, 2021, 57(11): 239-247.
[6]	WU Jie, DUAN Jin, DONG Suoqin, LI Yingchao. Research on Face Recognition Technology of DFM-GAN Network in Cross-Age Simulation [J]. Computer Engineering and Applications, 2021, 57(10): 117-124.
[7]	XIE Yifei, LU Qi, LIU Xin, HU Yahao, PAN Zhisong, CHEN Hao. Graph-Based Hierarchical Attention Networks for Fact Verification [J]. Computer Engineering and Applications, 2021, 57(10): 146-153.
[8]	WANG Fusen, LI Zhihuai, TIAN Na. Multiple Rounds of PBFT Verification Scheme to Improve Scale and Validity of Sharding [J]. Computer Engineering and Applications, 2020, 56(24): 102-108.
[9]	CHEN Hong, ZHU Yanan, XIAO Chenglong, JIN Haibo, ZHANG Zihao. Publicly Verifiable Certificateless Multi-receiver Anonymous Signcryption [J]. Computer Engineering and Applications, 2020, 56(19): 120-125.
[10]	SHE Xiangyang, LIU Qiao, YE Ou. Research on Face Verification Algorithm Based on LeNet-5 and Siamese Neural Network Model [J]. Computer Engineering and Applications, 2020, 56(15): 215-220.
[11]	ZHANG Guipeng, KUANG Zhenxi, CHEN Pinghua. Cloud Storage Deduplication Scheme Using Signature and Hash Technology [J]. Computer Engineering and Applications, 2020, 56(1): 76-82.
[12]	YIN Jianjin1, ZHANG Beike1, GAO Dong1, XU Xin2. Improved Bat Algorithm for Solving Flexible Flow Shop Scheduling Problem and Its Application [J]. Computer Engineering and Applications, 2019, 55(9): 243-247.
[13]	ZHANG Shuai, YAN An, JIA Minzhi. Crowdfunding Smart Contract Design Based on Blockchain Technology [J]. Computer Engineering and Applications, 2019, 55(8): 220-225.
[14]	FENG Fujian. Verification Analysis for Delay Time Petri Nets [J]. Computer Engineering and Applications, 2019, 55(4): 72-78.
[15]	HU Zhengping, LIU Huaibiao, SUN Degang. Kinship Verification Based on Neighborhood Repulsed Metric Sparse Discriminant for Single Sample [J]. Computer Engineering and Applications, 2019, 55(22): 133-139.

Method of model checking based on linear weighted generalized list

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

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics