Main Article Content
Abstract
Particle Swarm Optimization (PSO) is a metaheuristic global optimization paradigm that has gained prominence in the last two decades due to its ease of application in unsupervised, complex multidimensional problems which cannot be solved using traditional deterministic algorithms. Network protocols are critical software that must be verified in order to ensure that they fulfil the requirements. This verification can be performed using model checking, which is a fully automatic technique for checking concurrent software properties in which the states of a concurrent system are explored in an explicit or implicit way. In this paper, we propose the application of PSO to solve the problem of finding safety errors in network protocols. We implemented our ideas with different Techniques to validate them and present our results. To the best of our knowledge, this is the first time that PSO is used to find errors in concurrent systems.