Formal verification approaches and standards in the cloud computing

摘要: Providing a summary of the current challenges related to formal verification approaches in cloud computing.Presenting Systematic Literature Review (SLR) method for computing topics.Discussing important factors environment improve their problems future. Cloud as new internet-based model provides different resources service dynamically. Today, is actually one main improvements procedure. However, by raising user interactions, complexity processes increasing with advancement technology. To evaluate challenges, simulation experiments just satisfy non-functional properties limited majority forms QoS factors. In addition, using have not been sufficient developed complex services that omit some critical test cases state space model. On other hand, an essential section information systems development satisfies both functional and properties. Therefore, it use correctness system quality all Despite importance environments, best our knowledge, there any systematic, comprehensive detailed survey review field standards computing. This paper examine technical studies (published between 2011 July 2017) Also, this categorizes three classic fields: specification process algebra, checking, theorem proving. The are compared each according such methods, modeling approaches, tools methods. advantages disadvantages selected study well hints discussed solving problems. brief contributions follows: (1) providing literature computing, (2) designing taxonomy various (3) presenting analysis comparison (4) highlighting future open issues recent topics.