SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems

Article Details
Title:	SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems
Article URLs:	https://doi.org/10.1145/2815400.2815411
Alternative Article URLs:
Authors:	Tom Ridge	University of Leicester
	David Sheets	University of Cambridge
	Thomas Tuerk	FireEye
	Andrea Giugliano	University of Leicester
	Anil Madhavapeddy	University of Cambridge
	Peter Sewell	University of Cambridge
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	https://github.com/sibylfs/
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/sosp/RidgeSTGMS15
Author Comments:

ACM Symposium on Operating Systems Principles, SOSP 2015