رویکردی تازه بهدرستی یابی ویژگیهای توصیف شده در حساب : Mu استفاده از نظریه خودکار ها
محل انتشار: هشتمین کنفرانس سالانه انجمن کامپیوتر ایران
سال انتشار: 1381
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 1,611
فایل این مقاله در 7 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ACCSI08_065
تاریخ نمایه سازی: 18 بهمن 1386
چکیده مقاله:
در این مقاله ضمن توصیف مساله وارسی الگو در اعتبار سنجی سیستم های کامپیوتری، منطق زمانی نقطه ثابت یا حساب Mu ارائه شده، نحوه توصیف ویژگیهای سیستم در آن بررسی و الگوریتمهای مختلف درستی یابی ویژگیهای توصیف شده در حساب Mu دسته بندی و برخی از آنها بیان می شوند و از نظر مرتبه پیچیدگی بررسی می شوند . پیشنهاد مشخص این مقاله استفاده از روش مشخص سازی فرمولهای حساب Mu توسط خودکاره های بازگشتی مرتبه اول که به عنوان توسیع نظریه خودکاره های بوچی و رابین ارایه شده اند و سپس حل مساله وارسی الگو در ارتباط میان خودکاره توصیف کننده ویژگی لازم سیستم و مدل کریپکیایی سیستم است .
کلیدواژه ها:
وارسی الگو(Model checking) ، درستی یابی سیستم های کامپیوتری ، (Verification of Computer Systems) ، حساب (Mu-Calculus) Mu ، منطقهای زمانی نقطه ثابت (Fixpoint Temporal Logics) ، نظریه خودکاره ها(Automata Theory)
نویسندگان
محمد ایزدی
دانشکده مهندسی کامپیوتر دانشگاه صنعتی شریف
علی موقر
دانشکده مهندسی کامپیوتر دانشگاه صنعتی شریف
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :