الگوریتمی جدید برای وارسی الگو در حساب Mu
Publish place: 9th Annual Conference of Computer Society of Iran
Publish Year: 1382
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 1,702
This Paper With 8 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ACCSI09_076
تاریخ نمایه سازی: 4 بهمن 1386
Abstract:
در این مقاله ضمن توصیف کلی مسئله درستی یابی ویژگیهای سیستم ها و مساله وارسی الگو منطق زمانی نقطه ثابت یا حساب Mu و نظریه عمومی خودکارهای بازگشتی مرتبه اول ارائه شده است. الگوریتمی جدید برای وارسی الگو وقتی ویژگی های سیستم در حساب Mu توصیف شوند با استفاده از نظریه خودکارها ارایه می شود. مهمترین مزیت این الگوریتم آن است که پیچیدگی زمانی آن نسبت به اندازه مدل سیستم خطی است.
Keywords:
وارسی الگو (Model checking) , درستی یابی (Verification) , حساب (Mu-Calculus)Mu , منطق های زمانی نقطه ثابت (Fixpoint Temporal Logics) , نظریه خودکارها ) Automata Theory (
Authors
محمد ایزدی
پژوهشکده علوم کامپیوتر پژوهشگاه دانش های بنیادی مرکز تحقیقات فیزیک و ریاضیات
علی موقررحیم آبادی
دانشکده مهندسی کامپیوتر دانشگاه صنعتی شریف
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :