Published March 10, 2023
| Version 1.0.0
Software
Open
VeriFx: Correct Replicated Data Types for the Masses
Authors/Creators
- 1. VUB
- 2. NOVA School of Science and Technology
Description
Software artifact for ECOOP 2023 paper "VeriFx: Correct Replicated Data Types for the Masses".
Notes
Kevin De Porre is funded by the Research Foundation - Flanders. Project number 1S98519N
Files
artifact-paper44-ecoop.zip
Files
(149.9 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:a4630e86858e2fd4eab4a206565112c1
|
149.9 MB | Preview Download |
Additional details
Funding
- European Commission
- TaRDIS - Trustworthy and Resilient Decentralised Intelligence for Edge Systems 101093006
- Fundação para a Ciência e Tecnologia
- UIDB/04516/2020 - NOVA Laboratory for Computer Science and Informatics UIDB/04516/2020
- Fundação para a Ciência e Tecnologia
- PTDC/CCI-INF/32081/2017 - A correct by design methodology for available cloud applications PTDC/CCI-INF/32081/2017