T3BDD Based Dynamic Model Checking
基于T3BDD的动态模型检查*

Keywords: Component,Java Beans,formal specification,symbolic,model checking,binary decision diagram (BDD)
组件,Java,Beans,形式规范,符号化,模型检查,二叉判定图.

Full-Text   Cite this paper   Add to My Lib

Abstract:

Full-Text