Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking.
Ehsan KhamespanahMarjan SirjaniKirill MechitovGul AghaPublished in: Int. J. Softw. Tools Technol. Transf. (2018)
Keyphrases
- model checking
- wireless sensor
- real time
- temporal logic
- social networks
- wireless sensor networks
- temporal properties
- formal verification
- automated verification
- symbolic model checking
- control system
- sensor networks
- formal specification
- model checker
- computation tree logic
- low cost
- network management
- bounded model checking
- transition systems
- reactive systems
- timed automata
- epistemic logic
- network security
- computer networks
- fault tolerance
- wireless communication
- energy efficiency
- verification method
- formal methods
- intelligent agents
- intrusion detection
- smart grid
- deterministic finite automaton
- information systems