Verification of Crashsafe Caching in a Virtual File System Switch.
Stefan BodenmüllerGerhard SchellhornWolfgang ReifPublished in: Formal Aspects Comput. (2022)
Keyphrases
- file system
- access patterns
- functional verification
- virtual environment
- data transfer
- multi tiered
- data replication
- flash memory
- storage systems
- augmented reality
- metadata management
- virtual reality
- virtual world
- high speed
- data access
- model checking
- continuous media
- storage devices
- query processing
- search tools
- prefetching
- formal verification
- application specific
- user friendly
- document repository
- data structure
- naming conventions