Formal Verification of Cloud based Distributed System using UPPAAL
Yasar Ali Khalid Chaudhry, Mustafa Hammed · 2019
Verifying the cloud-based distributed system is a very challenging task, which requires the right modeling and verification of the properties before it is deployed. Different synchronized systems' properties need to be verified with limited resources. This paper proposed a compositional approach with the goal that it tends to be reused by others to make different verifications for different property checking needs. The proposed approach targeted distributed applications written in visual studio. To verify the target properties timed automata are used to model different aspects related to distributed systems and cloud computations.