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)

Full work available at URL https://doi.org/10.1109/TSE.1984.5010215

zbMATH Keywords

documentationmathematical specificationset theoryUNIX

Mathematics Subject Classification ID

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

Cited in

(10)

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

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)