Zheng Lu, Christopher Steinmuller, Supratik Mukhopadhyay. Towards Formal Verification of a Commercial Wireless Router Firmware. In 37th Annual IEEE Computer Software and Applications Conference, COMPSAC 2013, Kyoto, Japan, July 22-26, 2013. pages 639-647, IEEE Computer Society, 2013. [doi]
Abstract is missing.