改进的程序时序安全属性模型检测技术

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

改进的程序时序安全属性模型检测技术

张志, 张林, 曾庆凯

Improved Model Checking Technology for Program Temporal Safety Properties

ZHANG Zhi, ZHANG Lin, CENG Qiang-Kai

计算机工程 . 2011, (7): 28 -30 . DOI: 10.3969/j.issn.1000-3428.2011.07.010