Verifying concurrent storage and distributed systems - View it on GitHub