An evaluation framework for energy aware buildings using statistical model checking.
Alexandre DavidDehui DuKim G. LarsenMarius MikucionisArne SkouPublished in: Sci. China Inf. Sci. (2012)
Keyphrases
- model checking
- energy aware
- temporal logic
- wireless sensor networks
- routing protocol
- model checker
- temporal properties
- formal verification
- high performance computing
- energy consumption
- automated verification
- transition systems
- formal specification
- symbolic model checking
- epistemic logic
- sensor networks
- verification method
- routing algorithm
- bounded model checking
- computation tree logic
- reactive systems
- data center
- formal methods
- timed automata
- energy efficiency
- smart home
- concurrent systems
- software engineering
- expert systems
- linear temporal logic
- reverse engineering
- modal logic