[1] |
Wang Guoqing, Zhuang Lei, He Mengyang, Song Yu, Ma Ling.
Calculation Principle and Algorithm for the Window of Exact Acceleration in Real-Time Model Checking
[J]. Journal of Computer Research and Development, 2020, 57(1): 214-226.
|
[2] |
Cao Yan, Huang Zhiqiu, Kan Shuanglong, Peng Huanfeng,Ke Changbo.
Location-Constrained Access Control Model and Verification Methods
[J]. Journal of Computer Research and Development, 2018, 55(8): 1809-1825.
|
[3] |
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.
|
[4] |
Wei Ou, Shi Yufeng, Xu Bingfeng, Huang Zhiqiu, Chen Zhe.
Abstract Modeling Formalisms in Software Model Checking
[J]. Journal of Computer Research and Development, 2015, 52(7): 1580-1603.
|
[5] |
Zhang Chen, Duan Zhenhua, Tian Cong, Yu Bin.
Modeling, Verification and Test of Interactive Behaviors in Distributed Software Systems
[J]. Journal of Computer Research and Development, 2015, 52(7): 1604-1619.
|
[6] |
Fu Ning,Du Chenglie,Li Jianliang,Liu Zhiqiang,Peng Han.
Analysis and Verification of AADL Hierarchical Schedulers
[J]. Journal of Computer Research and Development, 2015, 52(1): 167-176.
|
[7] |
Pang Tao,Duan Zhenhua.
Symbolic Model Checking of WISHBONE on-Chip Bus
[J]. Journal of Computer Research and Development, 2014, 51(12): 2759-2771.
|
[8] |
Zhang Zhitian, Li Zhaopeng, Chen Yiyun, and Liu Gang.
An Automatic Program Verifier for PointerC: Design and Implementation
[J]. , 2013, 50(5): 1044-1054.
|
[9] |
Chen Donghuo, and Liu Quan,.
Generation of Test Cases Based on Symbolic Execution and LTL Formula Rewriting
[J]. , 2013, 50(12): 2661-2675.
|
[10] |
Wang Lei, Chen Gui, and Jin Maozhong.
Detection of Code Vulnerabilities via Constraint-Based Analysis and Model Checking
[J]. , 2011, 48(9): 1659-1666.
|
[11] |
Jia Yangli, Li Zhoujun, Xing Jianying, and Chen Shikun.
Advances in the Component Verification Technology Based on Model Checking
[J]. , 2011, 48(6): 913-922.
|
[12] |
Li Zhoujun, and Chen Shikun.
Survey on QBF Evaluation Algorithms
[J]. , 2011, 48(5): 811-822.
|
[13] |
Jiang Hua.
Efficient Global Model-Checking for Propositional μ-Calculus
[J]. , 2010, 47(8): 1424-1433.
|
[14] |
Men Peng and Duan Zhenhua.
Extension of Model Checking Tool of Colored Petri Nets and Its Applications in Web Service Composition
[J]. , 2009, 46(8): 1294-1303.
|
[15] |
Jiang Hua, and Li Xiang.
Model Checking for Mobile Ambients
[J]. , 2009, 46(10): 1750-1757.
|