GitHub repository: mit-pdos/argosy
Primary language: Coq
Description: Proving crash safety for systems with layered recovery