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

【文件属性】：
文件名称：论文研究-PSL逻辑及验证技术研究进展与展望.pdf
文件大小：841KB
文件格式：PDF
更新时间：2022-08-11 12:55:18
属性规约语言,基于断言的验证,形式化验证,运行时验证 在简要介绍PSL的分层结构和语法与语义基础上，综述了PSL验证技术的应用研究现状，分析了各种方法、技术的优缺点，最后指出了PSL验证技术的未来研究展望。