VoldemortKV Specification's authors: Murat Demirbas Original paper: Project Voldemort - a distributed database Extended modules: FinSet, Int, Seq Computation models: crashes Some properties checked with TLC: consistency TLA+ files