Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS.

Judi Romijn, Wieger Wesselink, Arjan J. Mooij

Browse the full ATVA paper archive.