PSL逻辑及验证技术研究进展与展望  

PSL logic and its verification technologies

作　　者：虞蕾[1,2] 赵宗涛[2] 

机构地区：[1]国防科学技术大学计算机学院,长沙410073 [2]第二炮兵工程学院计算机系,西安710025

出　　处：《计算机应用研究》2010年第7期2414-2420,共7页Application Research of Computers

基　　金：国家"863"计划资助项目(2007AA010301);中国博士后科学基金资助项目(20080431401)

摘　　要：在简要介绍PSL的分层结构和语法与语义基础上,综述了PSL验证技术的应用研究现状,分析了各种方法、技术的优缺点,最后指出了PSL验证技术的未来研究展望。After the descriptions of the PSL hierarchical structure and its syntax semantics,this paper reviewed in detail the recent PSL verification application technologies and finally pointed out some issues to be further studied.

关 键 词：属性规约语言 基于断言的验证 形式化验证 运行时验证 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]