Login / Signup
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
Published in:
CPP (2023)
Keyphrases
</>
provably correct
situation calculus
formal methods
real time
information systems
knowledge acquisition
monitoring system
multiscale
hierarchical reinforcement learning