Cannot Build or Simulate a PTA model

[Sara Himmiche]

Hi, 

It's been more than three weeks that i'm trying to simulate a PTA model, but the same error keep comin' up   : it says that the latest version of PRISM does not allow to simulate or build this type of module. 

I need to know if this error is related to my model or to the tool ? 

I hope to find an answer in this group. Thanks.

Sara. 

[Marcin Copik]

Sara,

PRISM simulator does not support path generation for PTAs but there exists an extension which may be merged into the main release at some point. It does not support statistical model checking via the simulator engine.

Best regards,

Marcin

--
You received this message because you are subscribed to the Google Groups "PRISM model checker" group.
To unsubscribe from this group and stop receiving emails from it, send an email to prismmodelchec...@googlegroups.com.
To post to this group, send email to prismmod...@googlegroups.com.
Visit this group at https://groups.google.com/group/prismmodelchecker.
For more options, visit https://groups.google.com/d/optout.

[Sara Himmiche]

Hi Marcin, 

Thank you for your response.

Sara

2017-03-27 23:23 GMT+02:00 Marcin Copik <mco...@gmail.com>:

Sara,

PRISM simulator does not support path generation for PTAs but there exists an extension which may be merged into the main release at some point. It does not support statistical model checking via the simulator engine.

Best regards,

Marcin

pon., 27 mar 2017 o 17:17 użytkownik Sara Himmiche <sarah...@gmail.com> napisał:

Hi, 

It's been more than three weeks that i'm trying to simulate a PTA model, but the same error keep comin' up   : it says that the latest version of PRISM does not allow to simulate or build this type of module. 

I need to know if this error is related to my model or to the tool ? 

I hope to find an answer in this group. Thanks.

Sara. 

--
You received this message because you are subscribed to the Google Groups "PRISM model checker" group.

To unsubscribe from this group and stop receiving emails from it, send an email to prismmodelchecker+unsubscribe@googlegroups.com.
To post to this group, send email to prismmodelchecker@googlegroups.com.

Visit this group at https://groups.google.com/group/prismmodelchecker.
For more options, visit https://groups.google.com/d/optout.

--
You received this message because you are subscribed to a topic in the Google Groups "PRISM model checker" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/prismmodelchecker/Oy4gYjufn84/unsubscribe.
To unsubscribe from this group and all its topics, send an email to prismmodelchecker+unsubscribe@googlegroups.com.
To post to this group, send email to prismmodelchecker@googlegroups.com.