Verify, And Then Trust: Data Inconsistency Detection in ZooKeeper. - Sushant Mane; Fangmin Lyu; Benjamin C. Reed (PaPoC@EuroSys, 2023)