رویکردی تازه بهدرستی یابی ویژگیهای توصیف شده در حساب : Mu استفاده از نظریه خودکار ها

سال انتشار: 1381
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 1,504

فایل این مقاله در 7 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

ACCSI08_065

تاریخ نمایه سازی: 18 بهمن 1386

چکیده مقاله:

در این مقاله ضمن توصیف مساله وارسی الگو در اعتبار سنجی سیستم های کامپیوتری، منطق زمانی نقطه ثابت یا حساب Mu ارائه شده، نحوه توصیف ویژگیهای سیستم در آن بررسی و الگوریتمهای مختلف درستی یابی ویژگیهای توصیف شده در حساب Mu دسته بندی و برخی از آنها بیان می شوند و از نظر مرتبه پیچیدگی بررسی می شوند . پیشنهاد مشخص این مقاله استفاده از روش مشخص سازی فرمولهای حساب Mu توسط خودکاره های بازگشتی مرتبه اول که به عنوان توسیع نظریه خودکاره های بوچی و رابین ارایه شده اند و سپس حل مساله وارسی الگو در ارتباط میان خودکاره توصیف کننده ویژگی لازم سیستم و مدل کریپکیایی سیستم است .

کلیدواژه ها:

وارسی الگو(Model checking) ، درستی یابی سیستم های کامپیوتری ، (Verification of Computer Systems) ، حساب (Mu-Calculus) Mu ، منطقهای زمانی نقطه ثابت (Fixpoint Temporal Logics) ، نظریه خودکاره ها(Automata Theory)

نویسندگان

محمد ایزدی

دانشکده مهندسی کامپیوتر دانشگاه صنعتی شریف

علی موقر

دانشکده مهندسی کامپیوتر دانشگاه صنعتی شریف

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • E l s e V ier/North-Ho lland, 1991. ...
  • [Em97] Emerson, E., Model Checking and the M u-Calculus, Proceedings ...
  • [Lo+94] Long, D., Browne, A., Clarke, E., jha, S., Marrero, ...
  • [Mo85] Mostowski, A., Regular Expressions for Infinite Trees and a ...
  • [MP92] Manna, Z., Pnueli, A., _ _ _ .Snec:ificatio, Springer-V ...
  • [Ra69] Rabin, M., Decidability of Second Order Theories and Automata ...
  • [St93] Stirling, C., Modal and Temporal Logics, in Handbook of ...
  • [Va95] Vardi, M., On the Complexity ofv Bounded Variable Queries, ...
  • Techniques for Modal Logics of Programs, JCSS 32, 1984. [VW86] ...
  • [An93] Anderson, H. R., Verification of Temporal Properties of Concurrent ...
  • [BVW94] Bernholtz, O., Vardi, M., and Wolper, P., An Au ...
  • [BCMDH90] Burch, J., Clarke, E., McMillan, M., Dill, D., and ...
  • [Bu62] Buchi, J.R., On a Decision Method in Restricted Second ...
  • [CGP99] Clarke, E., Grumberg, O., Peled, D..gde CEeckig, The MIT ...
  • [CS93] Cleaveland, R., Steffan, B., A Linear Time Model Checking ...
  • [EC80] Emerson, E., Clarke, E., Ch aracterizing Correctness Properties of ...
  • [EJ91] Emerson, E., Jutla, C., Tree Automata, Mu Calculus and ...
  • [EJS93] Emerson, E., Jutla, C., Sistla, A., On Model Checking ...
  • [EL86] Emerson, E., Lei, C., Efficient Model Checking in Fragments ...
  • [Em90] Emerson, E., Temporal and Modal Logic, in Handbook of ...
  • نمایش کامل مراجع