Login / Signup

Argosy: verifying layered storage systems with recovery refinement.

Tej ChajedJoseph TassarottiM. Frans KaashoekNickolai Zeldovich
Published in: PLDI (2019)
Keyphrases
  • storage systems
  • file system
  • data grids
  • disk drives
  • model checking
  • high performance computing
  • storage devices
  • flash memory
  • single point of failure
  • databases
  • data mining
  • digital libraries
  • data model