Model-Checking the Linux Virtual File System
No abstract available.
Related papers
- Error propagation analysis for file systems PLDI 2009
- NixOS: a purely functional Linux distribution ICFP 2008
- NixOS: A purely functional Linux distribution JFP 2010
- Practical Fine-Grained Information Flow Control Using Laminar TOPLAS 2014
- A study of tracing overhead on a high-performance linux cluster PPoPP 2007
- PerSeVerE: persistency semantics for verification under ext4 POPL 2021
- Accelerated Bounded Model Checking Using Interpolation Based Summaries TACAS 2024
- Virtual textual model composition for supporting versioning and aspect-orientation SLE 2017