一种自动化模型检测ANSIC程序的实用方法

中国计算机学会会刊
中国科技核心期刊
中文核心期刊

一种自动化模型检测ANSIC程序的实用方法

王大伟,张大方,缪力

A Practical Method for Automatically Model Checking the ANSIC Programs

WANG Dawei,ZHANG Dafang,MIAO Li

J4 . 2010, (4): 79 -82 . DOI: 10.3969/j.issn.1007130X.2010.