论文研究PSL逻辑及验证技术研究进展与展望.pdf 上传者：houguof 2019-09-08 16:19:56上传 PDF文件 840.94KB 热度 66次 在简要介绍PSL的分层结构和语法与语义基础上，综述了PSL验证技术的应用研究现状，分析了各种方法、技术的优缺点，最后指出了PSL验证技术的未来研究展望。 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 发表评论
