Towards Formal Verification of a Commercial Wireless Router Firmware.

Zheng Lu, Christopher Steinmuller, Supratik Mukhopadhyay

Browse the full COMPSAC paper archive.