首页|期刊导航|电子学报|PSL的有界模型检验

PSL的有界模型检验

虞蕾赵宗涛

电子学报2009，Vol.37Issue(3)：614-621,8.

PSL的有界模型检验

Bounded Model Checking of PSL

虞蕾 ¹赵宗涛²

作者信息

1. 国防科学技术大学计算机学院博士后流动站,湖南,长沙,410073
2. 第二炮兵工程学院计算机系,陕西,西安,710025
折叠

摘要

关键词

PSL(property,/specification,/language)/有界模型检验(bounded,/model,/checking,BMC)/SAT(propositional,/satisfiability)/OBDD(ordered,/binary,/decision,/diagram)

分类

信息技术与安全科学

引用本文复制引用

虞蕾,赵宗涛..PSL的有界模型检验[J].电子学报,2009,37(3):614-621,8.

基金项目

国家高技术研究发展计划(863计划)课题(No.2007AA010301) （863计划）

国家自然科学基金(No.60503032) （No.60503032）

中国博士后科学基金(No.20080431401) （No.20080431401）

电子学报

OA北大核心CSCDCSTPCD

ISSN：0372-2112

访问量0

下载量0

段落导航