%0 Journal Article
%T 具有程序的静态结构和动态行为语义的时序逻辑
%A 刘全
%A 朱斐
%A 王辉
%A 金海东
%A 陈冬火
%J -
%D 2016
%R 10.7544/issn1000-1239.2016.20150370
%X 提出一种区间分支时序逻辑——控制流区间时序逻辑(contro..
%K [区间时序逻辑
%K 控制流程图
%K 程序静态结构
%K 模型检验
%K 可满足性模理论
%K interval temporal logic
%K control flow graph (CFG)
%K static structure of program
%K model checking
%K satisfiability modulo theories (SMT)]
%U http://crad.ict.ac.cn/CN/10.7544/issn1000-1239.2016.20150370