Towards verified file systems