Specification of the UNIX Filing System
From MaRDI portal
Publication:3314973
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)
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