الگوریتمی جدید برای وارسی الگو در حساب Mu
Publish place: 9th Annual Conference of Computer Society of Iran
Publish Year: 1382
Type: Conference paper
Language: Persian
View: 1,839
This Paper With 8 Page And PDF Format Ready To Download
- Certificate
- I'm the author of the paper
Export:
Document National Code:
ACCSI09_076
Index date: 24 January 2008
الگوریتمی جدید برای وارسی الگو در حساب Mu abstract
در این مقاله ضمن توصیف کلی مسئله درستی یابی ویژگیهای سیستم ها و مساله وارسی الگو منطق زمانی نقطه ثابت یا حساب Mu و نظریه عمومی خودکارهای بازگشتی مرتبه اول ارائه شده است. الگوریتمی جدید برای وارسی الگو وقتی ویژگی های سیستم در حساب Mu توصیف شوند با استفاده از نظریه خودکارها ارایه می شود. مهمترین مزیت این الگوریتم آن است که پیچیدگی زمانی آن نسبت به اندازه مدل سیستم خطی است.
الگوریتمی جدید برای وارسی الگو در حساب Mu Keywords:
وارسی الگو (Model checking) , درستی یابی (Verification) , حساب (Mu-Calculus)Mu , منطق های زمانی نقطه ثابت (Fixpoint Temporal Logics) , نظریه خودکارها ) Automata Theory (
الگوریتمی جدید برای وارسی الگو در حساب Mu authors
محمد ایزدی
پژوهشکده علوم کامپیوتر پژوهشگاه دانش های بنیادی مرکز تحقیقات فیزیک و ریاضیات
علی موقررحیم آبادی
دانشکده مهندسی کامپیوتر دانشگاه صنعتی شریف
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :