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