Model-Checking Assisted Protocol Design for Ultra-reliable Low-Latency Wireless Networks.
Christian DombrowskiSebastian JungesJoost-Pieter KatoenJames GrossPublished in: SRDS (2016)
Keyphrases
- wireless networks
- model checking
- model checker
- low latency
- formal verification
- temporal logic
- mobile nodes
- formal methods
- wireless communication
- high speed
- medium access control
- verification method
- cross layer
- wireless mesh networks
- base station
- formal specification
- multi hop
- database systems
- high throughput
- query optimization
- cooperative