English
 用模型检验产生安全性质的测试
曾红卫1， 缪淮扣1;2
Generate Safety Property Tests Using Model Checking
ZENG Hong-wei1, MIAO Huai-kou1;2
应用科学学报 . 2011, (5): 529 -536 .  DOI: 10.3969/j.issn.0255-8297.2011.05.014