Verdi: Formally Verifying Distributed Systems

Verdi – Formally Verifying Distributed Systems