一种结合线性时序逻辑和故障树的软件安全验证方法

王飞,沈国华,黄志球,马琳,刘畅,李海峰,廖莉莉

Method Combining Linear Temporal Logic and Fault Tree for Software Safety Verification

WANG Fei, SHEN Guo-hua, HUANG Zhi-qiu, MA Lin, LIU Chang, LI Hai-feng and LIAO Li-li

计算机科学 . 2015, (12): 71 -75 .