conftrace_

flash translation layer

1 paper

Explore in graph

Also known as

FTL

Co-occurring keywords · papers mentioning both

snapshot consistency (1) crash recovery (1) symbolic execution (1) formal verification (1)

Papers

Determinizing Crash Behavior with a Verified Snapshot-Consistent Flash Translation Layer OSDI 2020