Modular Verification of State-Based CRDTs in Separation Logic.

Abel Nieto Arnaud Daby-Seesaram Léon Gondelman Amin Timany Lars Birkedal

Published in: ECOOP (2023)

Keyphrases

databases
neural network
modal logic
asynchronous circuits
verification method
database systems
distributed systems
logic programs
logic programming
model checking