Title : ( Probabilistic Model Checking: A Comparison of GPMC versus PRISM )
Authors: Mostafa Nouri Baygi , Ali Movaghar Rahimabadi ,
Full TextAbstract
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.
Keywords
, Probabilistic Model Checking, Probabilistic Models, Markov Chains, PRISM, DTMC, CTMC
@inproceedings{paperid:1038794,
author = {Nouri Baygi, Mostafa and Ali Movaghar Rahimabadi},
title = {Probabilistic Model Checking: A Comparison of GPMC versus PRISM},
booktitle = {12th Annual Conference of Computer Society of Iran},
year = {2007},
location = {تهران, IRAN},
keywords = {Probabilistic Model Checking; Probabilistic Models; Markov Chains; PRISM; DTMC; CTMC},
}
%0 Conference Proceedings
%T Probabilistic Model Checking: A Comparison of GPMC versus PRISM
%A Nouri Baygi, Mostafa
%A Ali Movaghar Rahimabadi
%J 12th Annual Conference of Computer Society of Iran
%D 2007
