کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
422470 685094 2008 21 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Modal Tools for Separation and Refinement
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Modal Tools for Separation and Refinement
چکیده انگلیسی

Kleene modules and modal Kleene algebras are applied to automatically verify refinement laws for infinite loops and separation of termination. The key concept in this analysis is divergence which, in some models, abstractly characterises that part of a state space from which infinite dynamics is possible. In other models it expresses infinite iteration. Equational axioms for divergence are introduced, and the concept is refined for different contexts. In particular it is related to Löb's formula, which describes termination in modal logics.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 214, 28 June 2008, Pages 81-101