Local Reasoning for the POSIX File System

Authors

Philippa Gardner
Gian Ntzik
Adam Wright

Abstract

We provide a program logic for specifying a core subset of the sequential POSIX file system, and for reasoning abstractly about client programs working with the file system.

Venue

Proceedings of the 23^rd European Symposium on Programming (ESOP’14), pp. 169–188

Publication Date

2014

Identifiers

DOI: doi:10.1007/978-3-642-54833-8_10

Source Materials

Authors' Preprint/Accepted Version
Published Edition
BibTeX Citation