Specification of the UNIX Filing System

DOI10.1109/TSE.1984.5010215zbMath0532.68031MaRDI QIDQ3314973

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)

Related Items

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