Formalizing a hierarchical file system

DOI10.1016/J.ENTCS.2009.12.018zbMATH Open1342.68063OpenAlexW2139015511MaRDI QIDQ2994491FDOQ2994491

Authors W. H. Hesselink, M. I. Lali

Publication date 1 August 2016

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2009.12.018

zbMATH Keywords

verificationrefinementspecificationtheorem provingfile systempermission system

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Recommendations

• Formalizing a hierarchical file system
• scientific article; zbMATH DE number 1696852
• scientific article; zbMATH DE number 2242606
• A formally proved, complete algorithm for path resolution with symbolic links
• Formal Analysis of Dynamic, Distributed File-System Access Controls

Cites work

• scientific article; zbMATH DE number 1956470 (Why is no real title available?)
• A mini challenge: build a verifiable filesystem
• Logic in Computer Science
• POSIX file store in Z/Eves: An experiment in the verified software repository
• Specification of the UNIX Filing System

Cited in

(4)

• Formalizing a hierarchical file system
• scientific article; zbMATH DE number 2242606 (Why is no real title available?)
• A formally proved, complete algorithm for path resolution with symbolic links
• Cogent: uniqueness types and certifying compilation

Describes a project that uses

Uses Software

• JML

This page was built for publication: Formalizing a hierarchical file system

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2994491)