Towards Formal Verification of a Commercial Wireless Router Firmware.
Zheng LuChristopher SteinmullerSupratik MukhopadhyayPublished in: COMPSAC (2013)
Keyphrases
- formal verification
- model checking
- model checker
- wireless networks
- automated verification
- bounded model checking
- wireless link
- symbolic model checking
- wireless communication
- operating system
- power consumption
- program slicing
- computer systems
- mobile users
- end to end
- mobile devices
- ip networks
- multi hop
- mobile ad hoc networks
- formal specification
- temporal logic