A Constrained ECA Language Supporting Formal Verification of WSNs.
Flavio CorradiniRosario CulmoneLeonardo MostardaLuca TeseiFranco RaimondiPublished in: AINA Workshops (2015)
Keyphrases
- wireless networks
- formal verification
- model checking
- model checker
- wireless sensor networks
- automated verification
- bounded model checking
- energy consumption
- programming language
- language learning
- temporal logic
- natural language
- resource constrained
- program slicing
- symbolic model checking
- sensor nodes
- description languages
- event condition action
- object oriented
- specification language
- energy efficient
- energy aware
- software engineering
- sensor networks