کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
423279 685196 2006 12 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Distribution, Approximation and Probabilistic Model Checking
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Distribution, Approximation and Probabilistic Model Checking
چکیده انگلیسی

APMC is a model checker dedicated to the quantitative verification of fully probabilistic systems against LTL formulas. Using a Monte-Carlo method in order to efficiently approximate the verification of probabilistic specifications, it could be used naturally in a distributed framework. We present here the tool and its distribution scheme, together with extensive performance evaluation, showing the scalability of the method, even on clusters containing 500+ heterogeneous workstations.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 135, Issue 2, 20 February 2006, Pages 19-30