کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
10328886 685213 2005 14 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Parallel and Symbolic Model Checking for Fixpoint Logic with Chop
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Parallel and Symbolic Model Checking for Fixpoint Logic with Chop
چکیده انگلیسی
We consider the model checking problem for FLC, a modal fixpoint logic capable of defining non-regular properties. This paper presents a refinement of a symbolic model checker and discusses how to parallelise this algorithm. It reports on a prototype implementation of the algorithm in Glasgow Parallel Haskell (GpH) and its performance on a cluster of workstations.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 128, Issue 3, 19 April 2005, Pages 125-138
نویسندگان
, ,