基于隐式谓词抽象和属性导向可达的SCADE模型检测

张聪, 陈哲, 王慧杰, 韦依洋

SCADE Model Checking Based on Implicit Predicate Abstraction and Property-directedReachability

ZHANG Cong, CHEN Zhe, WANG Huijie, WEI Yiyang

计算机科学 . 2025, (12): 24 -31 . DOI: 10.11896/jsjkx.241100062