سال انتشار: ۱۳۸۵

محل انتشار: دوازدهمین کنفرانس سالانه انجمن کامپیوتر ایران

تعداد صفحات: ۴

نویسنده(ها):

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

چکیده:

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 usedfor 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.