A Revised and Verified Proof of the Scalable Commutativity Rule

09/23/2018

∙

by   Lillian Tsai, et al.

∙

0

∙

share

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.