Formal Verification of Cloud and Fog Systems: A Review and Research Challenges.
Fairouz FakhfakhSlim KallelSaoussen CheikhrouhouPublished in: J. Univers. Comput. Sci. (2021)
Keyphrases
- formal verification
- automated verification
- model checking
- current challenges
- ubiquitous and pervasive
- computing systems
- knowledge based systems
- artificial intelligence
- expert systems
- management system
- object oriented
- single image
- complex systems
- computing platform
- formal methods
- lessons learned
- intelligent systems
- case study
- search engine