Probabilistic Model Checking for Unconfirmed Transmission in LoRaWAN on the MAC Layer.
Mi ChenLynda MokdadJalel Ben-OthmanJean-Michel FourneauPublished in: GLOBECOM (2023)
Keyphrases
- model checking
- temporal logic
- mac layer
- physical layer
- medium access control
- formal verification
- model checker
- automated verification
- computation tree logic
- formal specification
- formal methods
- verification method
- cross layer
- bounded model checking
- wireless communication
- mac protocol
- epistemic logic
- symbolic model checking
- wireless link
- network simulator
- wireless networks
- quality of service
- scalable video
- data transmission
- routing protocol