1 paper
Filipe Meirim, Mário Pereira, Carla Ferreira
In this article we present a tool for the verification of programs built on top replicated databases. The tool evaluates a sequential specification and deduces which operations nee…