conftrace_

persistent memory storage

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

crash consistency verification (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