کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
10328882 685213 2005 12 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Distributed Partial Order Reduction of State Spaces
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Distributed Partial Order Reduction of State Spaces
چکیده انگلیسی
State space explosion is a fundamental obstacle in formal verification of concurrent systems. Several techniques for combating this problem have emerged in the past few years, among which the two we are interested in are: partial order reduction and distributed memory state exploration. While the first one tries to reduce the problem to a smaller one, the other one tries to extend the computational power to solve the same problem. In this paper, we consider a combination of these two approaches and propose a distributed memory algorithm for partial order reduction.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 128, Issue 3, 19 April 2005, Pages 63-74
نویسندگان
, , , ,