Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning.
Tej ChajedJoseph TassarottiMark ThengM. Frans KaashoekNickolai ZeldovichPublished in: OSDI (2022)
Keyphrases
- file system
- multi tiered
- data transfer
- storage systems
- knowledge representation
- knowledge base
- continuous media
- access patterns
- application specific
- flash memory
- reasoning systems
- reasoning process
- naming conventions
- databases
- metadata management
- model checking
- storage devices
- search tools
- mobile phone
- case based reasoning
- document repository
- information systems