conftrace_

concurrent file system

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

liveness verification (1) deadlock prevention (1) modular verification (1) machine-checkable proof (1) formal verification (1)

Papers

Using Dynamically Layered Definite Releases for Verifying the RefFS File System OSDI 2024