conftrace_

machine-checkable proof

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

concurrent file system (1) liveness verification (1) deadlock prevention (1) modular verification (1) tactic prediction (1) position evaluation (1) proof assistant (1) interactive theorem prover (1) formal verification (1) theorem proving (1)

Papers

Using Dynamically Layered Definite Releases for Verifying the RefFS File System OSDI 2024 GamePad: A Learning Environment for Theorem Proving ICLR 2019