摘要
在简要介绍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.
出处
《计算机应用研究》
CSCD
北大核心
2010年第7期2414-2420,共7页
Application Research of Computers
基金
国家"863"计划资助项目(2007AA010301)
中国博士后科学基金资助项目(20080431401)
关键词
属性规约语言
基于断言的验证
形式化验证
运行时验证
PSL（property specification language）
ABV（assertion based verification）
formal verification
run-time verification
