Achraf Makni, Rafik Bouaziz, Faïez Gargouri. Formal Verification of an Optimistic Concurrency Control Algorithm using SPIN. In 13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 15-17 June 2006, Budapest, Hungary. pages 160-167, IEEE Computer Society, 2006. [doi]
Abstract is missing.