Wireless protocol testing and validation supported by formal methods. A hands-on report.
Manuel J. Fernández IglesiasJuan C. Burguillo-RialFrancisco J. González-CastañoMartín Llamas NistalPublished in: J. Syst. Softw. (2005)
Keyphrases
- formal methods
- model checker
- formal analysis
- development lifecycle
- protocol specification
- wireless networks
- security properties
- knowledge based systems
- formal specification
- artificial intelligence
- software engineering
- wireless communication
- safety critical
- model checking
- formal specification language
- mac protocol
- wireless local area networks
- medium access control
- mobile devices
- wireless medium
- reactive systems
- process algebra
- expert systems
- mobile nodes
- tcp ip
- formal verification
- wireless mesh networks
- mobile ad hoc networks
- wireless sensor networks
- case study