FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores (2022) [pdf]fstar-lang.org2 points·deterministic··0 commentsOpen articleSaveView on HN