“…G. Zakhour et al (2023) described the concept of CRDTs that ensure the compatibility of replicated data and the absence of conflicts between replicas, and propose a programming language Propel with a special type of system for automatic verification of the algebraic properties of CRDTs. They presented successful verification of CRDT implementations and compared it with other verification tools.…”