کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6875912 | 690134 | 2016 | 29 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Forward analysis and model checking for trace bounded WSTS
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
We investigate a subclass of well-structured transition systems (WSTS), the trace bounded-in the sense of Ginsburg and Spanier (1964), [1]-complete deterministic ones, which we claim provide an adequate basis for the study of forward analyses as developed by Finkel and Goubault-Larrecq (2012), [2]. Indeed, we prove that, unlike other conditions considered previously for the termination of forward analysis, trace boundedness is decidable. Trace boundedness turns out to be a valuable restriction for WSTS verification, as we show that it further allows to decide all Ï-regular properties on the set of infinite traces of the system.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 637, 18 July 2016, Pages 1-29
Journal: Theoretical Computer Science - Volume 637, 18 July 2016, Pages 1-29
نویسندگان
Pierre Chambart, Alain Finkel, Sylvain Schmitz,