Formal Verification of an Optimistic Concurrency Control Algorithm using SPIN | IEEE Conference Publication | IEEE Xplore