Horn子句,关于Horn子句的所有信息
实现基于Horn子句的检查引擎 能提高SMTChecker的证明能力
SMTChecker当前模型检查引擎是安全但还不是很完整的。这意味着报告为安全的断言和其他验证目标应该是安全的 - 除非SMTChecker或后端解算器中
发布时间：
2019-08-07 14:12
区块链
2019-08-07
