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 23rd European Symposium on Programming (ESOP’14), pp. 169–188

Publication Date

2014

Identifiers

Source Materials