带有异或运算安全协议的自动化检测 上传者：lxwbj 2020-04-19 22:19:56上传 PDF文件 500kb 热度 30次 带有异或运算安全协议的自动化检测，杨元原，马文平，针对当前模型检测工具普遍不能检测带有异或运算安全协议的问题，提出了一个新的模型检测器SAT#。该模型检测器通过引入抽象异或项� 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 发表评论
