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