Formalizing a hierarchical file system

DOI10.1007/S00165-010-0171-2zbMath1242.68163OpenAlexW2065725913MaRDI QIDQ432156

Muhammad Ikram Lali, Wim H. Hesselink

Publication date: 3 July 2012

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-010-0171-2

zbMATH Keywords

verificationtheorem provingrefinementspecificationfile systempermission system

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• JML

Cites Work

• Unnamed Item
• Mechanising a formal model of flash memory
• POSIX file store in Z/Eves: An experiment in the verified software repository
• How to make algebraic specifications more understandable: An experiment with the PLUSS specification language
• A mini challenge: build a verifiable filesystem
• Specification of the UNIX Filing System
• Logic in Computer Science
• How to Write a Proof

This page was built for publication: Formalizing a hierarchical file system