Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction.

Shinya Umeno, Nancy A. Lynch

Browse the full ICECCS paper archive.