Formale Instanzverifikation zertifizierender verteilter Algorithmen

We simplify a formal proof framework in COQ for distributed certificating algorithms. We demonstrate this framework on distributed certification of two-colorability for an end-to-end proof.