Specification of the UNIX Filing System

DOI10.1109/TSE.1984.5010215zbMATH Open0532.68031MaRDI QIDQ3314973FDOQ3314973

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)

• Cogent: uniqueness types and certifying compilation
• The programming language C and the operating system UNIX
• Formalizing a hierarchical file system
• Query languages for hierarchic databases
• Formalizing a hierarchical file system
• Preface
• 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
• 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)