conftrace_

crash safety

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

concurrent system (1) journaling system (1) proof assistant (1) formal verification (1)

Papers

GoJournal: a verified, concurrent, crash-safe journaling system OSDI 2021