哈尔滨工程大学学报2013，Vol.34Issue(4)：483-487,5.DOI:10.3969/j.issn.1006-7043.201210015
模型检测中的CTL形式化描述模板
CTL formalized specification templates in model checking
摘要
关键词
模型检测/形式化描述/SPS/Prospec/CTL模板分类
信息技术与安全科学引用本文复制引用
陈志远,黄少滨,白玉,纪明宇..模型检测中的CTL形式化描述模板[J].哈尔滨工程大学学报,2013,34(4):483-487,5.基金项目
国家自然科学基金资助项目(71272216,60903080) （71272216,60903080）
国家科技支撑计划课题资助项目(2009BAH42B02,2012BAH08B02) （2009BAH42B02,2012BAH08B02）
中央高校基本科研业务专项资金资助项目(HEUCF100603,HEUCFZ1212). （HEUCF100603,HEUCFZ1212）
