by Arvind Arasu, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Aymeric Fromherz, Kesha Hietala, Bryan Parno, Ravi Ramamurthy
Reference:
FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores (Arvind Arasu, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Aymeric Fromherz, Kesha Hietala, Bryan Parno, Ravi Ramamurthy), 2022. (In submission)
Bibtex Entry:
@misc{fastver2,
author = {Arvind Arasu and
Tahina Ramananandro and
Aseem Rastogi and
Nikhil Swamy and
Aymeric Fromherz and
Kesha Hietala and
Bryan Parno and
Ravi Ramamurthy},
title = {FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores},
year = 2022,
month = September,
url = {https://www.fstar-lang.org/papers/fastver2.pdf},
note = {In submission},
}