Improving Formal Verification and Testing Techniques for Internet of Things and Smart Cities.
Moez KrichenPublished in: Mob. Networks Appl. (2023)
Keyphrases
- formal verification
- smart cities
- model checking
- model checker
- automated verification
- smart city
- bounded model checking
- symbolic model checking
- big data
- entry point
- service integration
- mobile devices
- information and communication technologies
- world wide
- ubiquitous computing
- ambient intelligence
- theoretical framework