基于吴方法的符号模型检验

基于吴方法的符号模型检验

曾琼 ¹,黄健 ^2,3,魏乐 ^2,3

Symbolic model checking based on Wu’s method

ZENG Qiong ¹,HUANG Jian ^2,3,WEI Le ^2,3

计算机工程与应用 . 2008, (27): 46 -48 . DOI: 10.3778/j.issn.1002-8331.2008.27.015