• 大小: 200KB
    文件类型: .pdf
    金币: 2
    下载: 0 次
    发布日期: 2024-03-22
  • 语言: 其他
  • 标签: 首发论文  

资源简介

带有异或运算安全协议的自动化检测,杨元原,马文平,针对当前模型检测工具普遍不能检测带有异或运算安全协议的问题,提出了一个新的模型检测器SAT#。该模型检测器通过引入抽象异或项�

资源截图

代码片段和文件信息

评论

共有 条评论