Model Checking Dependability Attributes of Wireless Group Communication.
Mieke MassinkJoost-Pieter KatoenDiego LatellaPublished in: DSN (2004)
Keyphrases
- model checking
- group communication
- wireless mesh networks
- temporal logic
- fault tolerance
- formal verification
- model checker
- wireless networks
- automated verification
- temporal properties
- symbolic model checking
- formal specification
- computation tree logic
- timed automata
- transition systems
- wireless communication
- bounded model checking
- key management
- epistemic logic
- key distribution
- ad hoc networks
- fault tolerant
- computing environments
- verification method
- formal methods
- cellular networks
- modal logic
- power supply
- alternating time temporal logic
- artificial intelligence
- multi hop
- mobile ad hoc networks
- mobile networks
- multi channel
- mobile users
- communication networks
- routing protocol
- software engineering
- mobile devices