conftrace_

modular verification

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

concurrent file system (1) liveness verification (1) deadlock prevention (1) machine-checkable proof (1) formal verification (1)

Papers

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