Formal verification of WAHS: an autonomous and wireless P2P auction handling system.
Ines DoghriPublished in: NOTERE (2008)
Keyphrases
- formal verification
- model checking
- media streaming
- peer to peer
- wireless networks
- model checker
- symbolic model checking
- automated verification
- bounded model checking
- wireless communication
- mobile devices
- program slicing
- overlay network
- multi unit
- online auctions
- file sharing
- communication technologies
- robotic systems
- multi hop
- mechanism design
- combinatorial auctions
- cooperative
- mobile ad hoc networks
- access points
- temporal logic