A Temporal Logic with a Semantics Defined on the Static Structure and Dynamic Behavior of Program
Chen Donghuo1, Liu Quan1,2, Jin Haidong1, Zhu Fei1,2, Wang Hui1
1(School of Computer Science and Technology, Soochow University, Suzhou, Jiangsu 215006);2(Key Laboratory of Symbolic Computation and Knowledge Engineering (Jilin University), Ministry of Education, Changchun 130012)
Chen Donghuo, Liu Quan, Jin Haidong, Zhu Fei, Wang Hui. A Temporal Logic with a Semantics Defined on the Static Structure and Dynamic Behavior of Program[J]. Journal of Computer Research and Development, 2016, 53(9): 2067-2084.