IEEE - Institute of Electrical and Electronics Engineers, Inc. - Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction

2010 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS)

Author(s): Umeno, S. ; Lynch, N.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 March 2010
Conference Location: Oxford, United Kingdom, United Kingdom
Conference Date: 22 March 2010
Page(s): 136 - 145
ISBN (Electronic): 978-1-4244-6639-9
ISBN (Paper): 978-1-4244-6638-2
DOI: 10.1109/ICECCS.2010.14
Regular:

In this paper, we present automated formal verification of the DHCP Failover protocol. We conduct bounded model-checking for the protocol using {\it Timeout Order Abstraction} (TO-Abstraction), a... View More

Advertisement