模型检验中抽象技术研究综述

模型检验中抽象技术研究综述

屈婉霞,李暾,郭阳,杨晓东

A Survey of Abstraction Technologies for Model Checking

,,,

计算机工程与应用 . 2006, (33): 15 -19 .