کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
439145 690460 2008 21 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
An automatic abstraction technique for verifying featured, parameterised systems
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
An automatic abstraction technique for verifying featured, parameterised systems
چکیده انگلیسی

A general technique combining model checking and abstraction is presented that allows property based analysis of systems consisting of an arbitrary number of featured components. We show how parameterised systems can be specified in a guarded command form with constraints placed on variables which occur in guards. We prove that results that hold for a small number of components can be shown to scale up. We then show how featured systems can be specified in a similar way, by relaxing constraints on guards. The main result is a generalisation theorem for featured systems which we apply to two well known examples.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 404, Issue 3, 28 September 2008, Pages 235-255