CoGENT: Verifying High-Assurance File System Implementations.
Sidney AmaniAlex HixonZilin ChenChristine RizkallahPeter ChubbLiam O'ConnorJoel BeerenYutaka NagashimaJapheth LimThomas SewellJoseph TuongGabriele KellerToby C. MurrayGerwin KleinGernot HeiserPublished in: ASPLOS (2016)
Keyphrases
- file system
- high assurance
- software systems
- fault tolerant
- operating system
- access control
- distributed systems
- data transfer
- application specific
- multi tiered
- access patterns
- storage devices
- flash memory
- storage systems
- continuous media
- scalable distributed
- model checking
- search tools
- metadata management
- cooperative
- load balancing
- open source
- database
- multi agent systems
- cloud storage