可标度交换性规则的修正和验证
A Revised and Verified Proof of the Scalable Commutativity Rule
摘要：
本文解释了可扩展交换性规则（SCR）的公开证明中的一个缺陷，在Coq证明助手中给出了SCR的修改和正式验证的证明，并讨论了我们证明SCR的经验中提出的见解和开放性问题。
英文摘要：
This paper explains a flaw in the published proof of the Scalable Commutativity Rule (SCR), presents a revised and formally verified proof of the SCR in the Coq proof assistant, and discusses the insights and open questions raised from our experience proving the SCR.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
