conftrace_

storage system verification

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

crash consistency verification (1) persistent memory storage (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