research
∙
03/08/2021
A coordination-free, convergent, and safe replicated tree
The tree is an essential data structure in many applications. In a distr...
research
∙
10/13/2020
CISE3: Verifying Weakly Consistent Applications with Why3
In this paper we present a tool for the formal analysis of applications ...
research
∙
09/09/2019