论文研究-PSL逻辑及验证技术研究进展与展望.pdf

【文件属性】：

文件名称：论文研究-PSL逻辑及验证技术研究进展与展望.pdf

文件大小：841KB

文件格式：PDF

更新时间：2022-08-11 12:55:18

属性规约语言,基于断言的验证,形式化验证,运行时验证

在简要介绍PSL的分层结构和语法与语义基础上，综述了PSL验证技术的应用研究现状，分析了各种方法、技术的优缺点，最后指出了PSL验证技术的未来研究展望。