کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
428259 686624 2008 11 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Ant colony optimization with partial order reduction for discovering safety property violations in concurrent models
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Ant colony optimization with partial order reduction for discovering safety property violations in concurrent models
چکیده انگلیسی

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.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information Processing Letters - Volume 106, Issue 6, 15 June 2008, Pages 221-231