Analysis of the zeroconf protocol using UPPAAL.

Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang

Browse the full EMSOFT paper archive.