Linked Presentation: Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning