ethod of False Counterexamples Detection in Model Checking
LIU Lin-wu， ZHANG Chi
Computer and Modernization . 2017, (9): 29 -32,44 .  DOI: 10.3969/j.issn.1006-2475.2017.09.006