基于χChek的软件产品线多值模型检测方法

基于χChek的软件产品线多值模型检测方法

黄鸣宇,石玉峰

#br# Multi-valued Model Checking of Software Product Line with χChek

HUANG Ming-yu, SHI Yu-feng

计算机与现代化 . 2014, (8): 87 -90 . DOI: 10.3969/j.issn.1006-2475.2014.08.019