Challenges in Formal Methods for Testing and Verification of Cloud Computing Systems.
Amjad GawanmehAhmad AlomariPublished in: Scalable Comput. Pract. Exp. (2015)
Keyphrases
- formal methods
- computing systems
- computing infrastructure
- computing platform
- model checking
- development lifecycle
- model checker
- academia and industry
- formal analysis
- computing technologies
- computer systems
- high performance computing
- formal specification
- knowledge based systems
- artificial intelligence
- formal verification
- safety critical
- cloud computing
- parallel computing
- autonomic computing
- software engineering
- machine learning
- process algebra
- autonomic computing systems
- test cases
- information systems
- real world
- formal specification language