5 citations · 6 across the 2 of their papers we have counts for
1 paper · 1 filter
Filipe Meirim, Mário Pereira, Carla Ferreira
In this paper we present a tool for the formal analysis of applications built on top of replicated databases, where data integrity can be at stake. To address this issue, one can i…