基于学习的缓存一致性协议带参验证

作者：李勇坚形式化验证一致性协议缓存定理证明一致协议模型检测系统

摘要：0引言带参系统存在于许多应用领域中,比如缓存一致协议等。因为它的研究价值,验证这样的系统也就吸引来了形式化验证、模型检测和定理证明等社区的关注。要想验证带参系统的正确性,就必须验证任意实例大小的系统中的正确性,而这被证明是一个无法判定的问题。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社