کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
10328884 685213 2005 15 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
UppDMC: A Distributed Model Checker for Fragments of the μ-Calculus
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
UppDMC: A Distributed Model Checker for Fragments of the μ-Calculus
چکیده انگلیسی
We describe the implementation of these algorithms within UppDMC and study their performance on practical examples. Running UppDMC on a simple workstation cluster, we were able to check liveness properties of the largest examples given in the VLTS Benchmark Suite, for which no answers were previously known.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 128, Issue 3, 19 April 2005, Pages 91-105
نویسندگان
, , ,