| PSL逻辑及验证技术研究进展与展望* |
| |
| 引用本文： | 虞蕾,赵宗涛.PSL逻辑及验证技术研究进展与展望*[J].计算机应用研究,2010,27(7):2414-2420. |
| |
| 作者姓名： | 虞蕾 赵宗涛 |
| |
| 作者单位： | 1. 国防科学技术大学,计算机学院,长沙,410073;第二炮兵工程学院,计算机系,西安,710025
2. 第二炮兵工程学院,计算机系,西安,710025 |
| |
| 基金项目： | 国家“863”计划资助项目(2007AA010301);中国博士后科学基金资助项目(20080431401) |
| |
| 摘 要： | 在简要介绍PSL的分层结构和语法与语义基础上，综述了PSL验证技术的应用研究现状，分析了各种方法、技术的优缺点，最后指出了PSL验证技术的未来研究展望。
|
| 关 键 词： | 属性规约语言 基于断言的验证 形式化验证 运行时验证 |
PSL logic and its verification technologies |
| |
| YU Lei,ZHAO Zong-tao.PSL logic and its verification technologies[J].Application Research of Computers,2010,27(7):2414-2420. |
| |
| Authors: | YU Lei ZHAO Zong-tao |
| |
| Abstract: | |
| |
| Keywords: | PSL(property specification language) ABV(assertion based verification) formal verification run-time verification |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
|
