Hi, I am new in PRISM model checker. I want to know if it is possible to compute the response time of a CTMC using prism? thanks

Model checking

Posts 1 - 1 of 1

kasse

Hi, I am new in PRISM model checker.
I want to know if it is possible to compute the response time of a CTMC using prism?
thanks

Save

Cancel