PTA Question

[zhzh...@gmail.com]

Hi, I started using Prism a few days ago. I have a question, would be grateful if somebody can answer it.

[Marcin Copik]

Hi,

I have developed an extension to PRISM simulator engine in GSoC 2014 but I'm not sure if it has been merged into main developer branch. But it would support only path generation and manual exploration of PTA automaton. It does not support statistical model checking.

Best regards,

Marcin Copik

czw., 8.12.2016 o 09:52 użytkownik <zhzh...@gmail.com> napisał:

Hi, I started using Prism a few days ago. I have a question, would be grateful if somebody can answer it.

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