Design and Verification of a Logless Dynamic Reconfiguration Protocol in MongoDB Replication.

William Schultz Siyuan Zhou Stavros Tripakis

Published in: CoRR (2021)

Keyphrases

dynamic reconfiguration
design process
databases
machine learning
user interface
software systems
application specific
real time
real world
database systems
software engineering
general purpose
formal verification
cryptographic protocols
group communication