Probabilistic Model Checking: A Comparison of GPMC versus PRISM

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

متن کامل این مقاله منتشر نشده است و فقط به صورت چکیده یا چکیده مبسوط در پایگاه موجود می باشد.
توضیح: معمولا کلیه مقالاتی که کمتر از ۵ صفحه باشند در پایگاه سیویلیکا اصل مقاله (فول تکست) محسوب نمی شوند و فقط کاربران عضو بدون کسر اعتبار می توانند فایل آنها را دریافت نمایند.

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

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

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

ACCSI12_246

تاریخ نمایه سازی: 23 دی 1386

چکیده مقاله:

We introduce a new tool for probabilistic model checking, GPMC, with a graphical user interface, and compare it with existing well-known tool in this scope PRISM. Some case studies are presented to show the efficiency and performance of it against PRISM. Two of these case studies are collected from several examples that were used for testing PRISM and another one is an extended simple example of a DTMC. We explain in each case study the powers and weaknesses of these tools, and find new methods for solving weaknesses.

نویسندگان

Mostafa Nouri Baygi

Department of Computer Engineering, Sharif University of Technology, Tehran, Iran

Ali Movaghar Rahimabadi

Department of Computer Engineering, Faculty of Computer Engineering, harif University of Technology, Tehran, Iran

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

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • G. Alder, Design and implemen tation of the JGraph Swing ...
  • A. Aziz., K. Sanwal, V. Singhal, R. K. Brayton, Verifying ...
  • C. Baier, J. P. Katoen, H. Hermanns, Approximate symbolic model ...
  • H. Hansson, B. Jonsson, A logic for reasoning about time ...
  • D. E. Knuth, A. C. Yao, The complexity of non-uniform ...
  • M. Kwiatkowska, G. Norman, and D. Parker, PRISM: Probabilistic symbolic ...
  • PRISM web site, http ://www. cs _ bham. ac _ ...
  • F. Somenzi, CUDD: Colorado University decision diagram package. Public software, ...
  • N=10 30 50 200 400 600 800 1000 Number of ...
  • GPMC(t=0 _ _ _ _ 1 GPMC(t=0 _ _ _ ...
  • نمایش کامل مراجع