Towards Energy Efficient Approx Cache-coherence Protocol Verified using Model Checker.
Anant SaraswatKumar AbhishekMuhammad Rukunuddin GhalibAchyut ShankarMamoun AlazabBernard NongpohPublished in: Comput. Electr. Eng. (2022)
Keyphrases
- energy efficient
- model checker
- model checking
- formal verification
- description language
- formal methods
- temporal logic
- wireless sensor networks
- energy consumption
- test suite
- formal specification
- sensor networks
- set theory
- energy efficiency
- data dissemination
- base station
- multi hop
- specification language
- test cases
- planning domains
- routing protocol
- mobility management
- data transmission
- ai planning
- data sets
- end to end
- first order logic
- wireless networks
- computational intelligence
- artificial intelligence