کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
422323 685069 2008 17 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Model Checking Quantitative Linear Time Logic
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Model Checking Quantitative Linear Time Logic
چکیده انگلیسی

This paper considers QLtl, a quantitative analagon of Ltl and presents algorithms for model checking QLtl over quantitative versions of Kripke structures and Markov chains.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 220, Issue 3, 12 December 2008, Pages 61-77