conftrace_

hoare logic

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

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