conftrace_

crash consistency verification

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

persistent memory storage (1) storage system verification (1) corruption detection (1) hoare logic (1) crash consistency (1) storage system (1) persistent memory (1) formal verification (1)

Papers

PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection OSDI 2025