|
论文《A PSL Bounded Model Checking; Method》发表于2012年第五届全国网络与信息安全学术会议，主要研究基于PSL（Property Specification Language）的有界模型检测方法。该文提出一种有效验证硬件设计正确性的技术，通过将PSL属性转换为可检查的逻辑公式，结合模型检测工具进行自动化验证，提升了系统安全性和可靠性。研究对网络安全领域具有重要参考价值。 文档为pdf格式，1.08MB，总共12页。
- 文件大小:
- 1.08 MB
- 下载次数:
- 60
- A PSL Bounded Model Checking; Method - 2012(第五届)全国网络与信息安全学术会议.pdf
-
高速下载
| 
