4 ms·FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores (2022) [pdf]2 points by deterministic 4y ago