Primary LanguageTeX
We specify and verify Paxos protocol for distributed consistency using Z3 solver.