With the rapid development of cloud computing,how to effectively improve the utilization of computing resources in a cloud becomes a difficult problem.Therefore,a large number of distributed and parallel algorithms are proposed to solve the above problem.However,due to the uncertainty of the distributed and parallel environments,it is hard to verify the performance of the algorithms efficiently.In this paper,we present a distributed and parallel algorithm leveraging big data analysis,and verify the availability of the algorithm by modeling checking under possibility measure.Such work provides a feasible method for validating the related algorithms.