Using concurrent relational logic with helpers for verifying the AtomFS file system.
Mo ZouHaoran DingDong DuMing FuRonghui GuHaibo ChenPublished in: SOSP (2019)
Keyphrases
- file system
- data transfer
- modal logic
- flash memory
- metadata management
- access patterns
- database language
- storage devices
- relational data
- continuous media
- logic programming
- naming conventions
- multi tiered
- storage systems
- relational structures
- multi valued
- search tools
- application specific
- relational databases
- verification method
- scalable distributed
- model checking
- database schema
- unauthorized access
- cloud storage
- information systems