基于程序转化的SCADE模型检测

基于程序转化的SCADE模型检测

冉丹, 陈哲, 孙毅, 杨志斌

SCADE Model Checking Based on Program Transformation

RAN Dan, CHEN Zhe, SUN Yi, YANG Zhi-bin

计算机科学 . 2021, (12): 125 -130 . DOI: 10.11896/jsjkx.201100080