RAFFS: Model Checking a Robust Abstract Flash File Store.

Paul Taverne, Cornelis Pronk

Browse the full ICFEM paper archive.