Formal verification of a radio network random access protocol.
Ahmed RoumaneKechar BouabdellahKouninef BelkacemPublished in: Int. J. Commun. Syst. (2017)
Keyphrases
- random access
- formal verification
- model checker
- coloured petri nets
- model checking
- symbolic model checking
- multiview video coding
- tcp ip
- communication protocol
- automated verification
- communication networks
- network simulator
- peer to peer
- response time
- computational complexity
- web services
- disk storage
- allocation scheme
- temporal logic
- bounded model checking
- solid state
- memory size
- wireless communication
- data structure