Login / Signup

FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores.

Arvind ArasuTahina RamananandroAseem RastogiNikhil SwamyAymeric FromherzKesha HietalaBryan ParnoRavi Ramamurthy
Published in: CPP (2023)
Keyphrases
  • provably correct
  • situation calculus
  • formal methods
  • real time
  • information systems
  • knowledge acquisition
  • monitoring system
  • multiscale
  • hierarchical reinforcement learning