VeriFx: Correct Replicated Data Types for the Masses (Artifact)

Autor:	De Porre, Kevin, Ferreira, Carla, Gonzalez Boix, Elisa
Jazyk:	angličtina
Rok vydání:	2023
Předmět:	distributed systems eventual consistency Computing methodologies → Distributed programming languages Software and its engineering → Domain specific languages Theory of computation → Distributed algorithms verification replicated data types
DOI:	10.4230/darts.9.2.19
Popis:	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. DARTS, Vol. 9, Special Issue of the 37th European Conference on Object-Oriented Programming (ECOOP 2023), pages 19:1-19:2
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::7dc48cf2ca17ee1a737b6c728a926e2f Zobrazit plný text záznamu