Formal verification of LTE-UMTS handover procedures.
Piergiuseppe Bettassa CopetGuido MarchettoRiccardo SistoLuciana CostaPublished in: ISCC (2015)
Keyphrases
- formal verification
- mobile networks
- base station
- model checking
- cellular networks
- model checker
- mobile users
- automated verification
- location management
- symbolic model checking
- wireless sensor networks
- bounded model checking
- wireless networks
- mobile communication
- communication networks
- video conferencing
- video streaming
- quality of service
- internet access
- temporal logic
- mobile devices
- long term evolution
- wireless access
- energy consumption
- program slicing
- fourth generation