Formal verification of IoT applications using rewriting logic: An MDE-based approach.
Abdelouahab FortasElhillali KerkoucheAllaoua ChaouiPublished in: Sci. Comput. Program. (2022)
Keyphrases
- formal verification
- bounded model checking
- model checker
- model checking
- symbolic model checking
- automated verification
- temporal logic
- linear temporal logic
- management system
- program slicing
- modal logic
- logic programming
- cloud computing
- rewrite rules
- conjunctive queries
- classical logic
- formal specification
- big data
- formal methods