Modelling and Proof of a Tree-Structured File System in Event-B and Rodin.
Kriangsak DamchoomMichael J. ButlerJean-Raymond AbrialPublished in: ICFEM (2008)
Keyphrases
- file system
- tree structure
- access patterns
- tree structured data
- search tools
- flash memory
- data transfer
- structured data
- event detection
- naming conventions
- multi tiered
- continuous media
- application specific
- index structure
- metadata management
- storage devices
- storage systems
- database
- b tree
- scalable distributed
- theorem prover
- data model
- databases
- access control
- unauthorized access
- storage and retrieval
- information management