Specification of the UNIX Filing System

DOI10.1109/TSE.1984.5010215MaRDI QIDQ3314973zbMATH OpenFDO

Authors Bernard Sufrin, Carroll Morgan

Publication date 1984

Published in IEEE Transactions on Software Engineering (Search for Journal in Brave)

zbMATH Keywords

set theoryUNIXdocumentationmathematical specification

Mathematics Subject Classification ID

Data structures (68P05) Theory of operating systems (68N25)

Cited in

(10)

• The programming language C and the operating system UNIX
• Cogent: uniqueness types and certifying compilation
• Formalizing a hierarchical file system
• Query languages for hierarchic databases
• Formalizing a hierarchical file system
• Mechanising a formal model of flash memory
• POSIX file store in Z/Eves: An experiment in the verified software repository
• An approach to literate and structured formal developments
• Preface
• A mini challenge: build a verifiable filesystem

This page was built for publication: Specification of the UNIX Filing System

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