Formal Verification of a Trusted Execution Environment-Based Architecture for IoT Applications.
Dalton Cézane Gomes ValadaresÁlvaro Alvares de Carvalho César SobrinhoAngelo PerkusichKyller Costa GorgônioPublished in: IEEE Internet Things J. (2021)
Keyphrases
- execution environment
- formal verification
- model checking
- reference architecture
- management system
- automated verification
- semantic web services
- model checker
- bounded model checking
- life cycle
- program slicing
- symbolic model checking
- distributed environment
- web services
- temporal logic
- cloud computing
- artificial intelligence