不变量查找相关论文
随着计算机技术的飞速发展，多处理器系统和多核芯片变得越来越常见。在设计各种复杂的计算机系统时，形式化验证技术在保证设计正确性......
提出了一种通过查找缓存一致性协议不变量来验证带参协议正确性的新方法.缓存一致性协议验证的难点在于必须证明协议对于任意大小......
