Case Study: Verification of a Leader Election Protocol using Augur

Reference

Barbara König and Vitaly Kozyura. Case study: Verification of a leader election protocol using Augur, 2009. Solution for the GraBaTs '09 tool contest.

Suggested BibTeX entry:

@misc{KK09,
    author = {Barbara K{\"o}nig and Vitaly Kozyura},
    note = {Solution for the GraBaTs '09 tool contest},
    title = {Case Study: Verification of a Leader Election Protocol using {Augur}},
    year = {2009}
}

PDF (185 kB)