conftrace_

logical atomicity

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

transaction library (1) machine-checked proof (1) multi-version concurrency control (1) formal verification (1)

Papers

Verifying vMVCC, a high-performance transaction library using multi-version concurrency control OSDI 2023