Co-design and verification of an available file system

DOI10.1007/978-3-319-73721-8_17zbMATH Open1446.68022OpenAlexW2775924136MaRDI QIDQ3296339FDOQ3296339

Authors: Mahsa Najafzadeh, Marc Shapiro, Patrick Eugster 

Publication date: 7 July 2020

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01696263/file/VMCAI-2018-filesys.pdf

Recommendations

• Models and Software Model Checking of a Distributed File Replication System
• Formal Analysis of Dynamic, Distributed File-System Access Controls
• Verifying distributed systems: the operational approach
• scientific article; zbMATH DE number 2242606
• Formalizing a hierarchical file system

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)

Cited In (1)

• Models and Software Model Checking of a Distributed File Replication System

This page was built for publication: Co-design and verification of an available file system

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3296339)