Verifying concurrent crash-safe systems - View it on GitHub