Ant colony optimization with partial order reduction for discovering safety property violations in concurrent models |
| |
Authors: | Francisco Chicano Enrique Alba |
| |
Affiliation: | Departamento de Lenguajes y Ciencias de la Computación, University of Málaga, Spain |
| |
Abstract: | In this article we analyze the combination of ACOhg, a new metaheuristic algorithm, plus partial order reduction applied to the problem of finding safety property violations in concurrent models using a model checking approach. ACOhg is a new kind of ant colony optimization algorithm inspired by the foraging behavior of real ants equipped with internal resorts to search in very large search landscapes. We here apply ACOhg to concurrent models in scenarios located near the edge of the existing knowledge in detecting property violations. The results state that the combination is computationally beneficial for the search and represents a considerable step forward in this field with respect to exact and other heuristic techniques. |
| |
Keywords: | Program correctness Ant colony optimization Metaheuristics Model checking HSF-SPIN |
本文献已被 ScienceDirect 等数据库收录! |