2026-07-22T14:20:40Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:18259 2024-03-06T11:05:21Z ddc:004 open_access

VeriFx: Correct Replicated Data Types for the Masses (Artifact) De Porre, Kevin Ferreira, Carla Gonzalez Boix, Elisa distributed systems eventual consistency replicated data types verification Our related article presents our novel verification language, called VeriFx. We used VeriFx to implement and verify 51 Conflict-Free Replicated Data Types (CRDTs) and 9 Operational Transformation (OT) functions. This artifact bundles the implementation of the various CRDTs and OT functions described in the article. The artifact also contains a Docker file that can be used to reproduce the verification results (Table 1 and 2 in the article). In addition, the artifact can also be used to run custom VeriFx programs and verify their correctness. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Kevin De Porre and Carla Ferreira and Elisa Gonzalez Boix 2023 Is Part Of DARTS, Volume 9, Issue 2, Special Issue of the 37th European Conference on Object-Oriented Programming (ECOOP 2023) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DARTS.9.2.19 urn:nbn:de:0030-drops-182596 https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.19 eng https://creativecommons.org/licenses/by/4.0/legalcode