Specifying and Checking File System Crash-Consistency Models.

James Bornholt Antoine Kaufmann Jialin Li Arvind Krishnamurthy Emina Torlak Xi Wang

Published in: ASPLOS (2016)

Keyphrases

file system
probabilistic model
complex systems
statistical models
continuous media
databases
software engineering
operating system