Experiments in Model-Checking Optimistic Replication Algorithms

Hanifa Boucheneb, Abdessamad Imine

This paper describes a series of model-checking experiments to verify optimistic replication algorithms based on Operational Transformation (OT) approach used for supporting collab…