具有程序的静态结构和动态行为语义的时序逻辑

DOI: 10.7544/issn1000-1239.2016.20150370

Keywords: [区间时序逻辑, 控制流程图, 程序静态结构, 模型检验, 可满足性模理论, interval temporal logic, control flow graph (CFG), static structure of program, model checking, satisfiability modulo theories (SMT)]

Full-Text   Cite this paper   Add to My Lib

Abstract:

提出一种区间分支时序逻辑——控制流区间时序逻辑(contro..

Full-Text