SCC-Based PRISM

[sade...@gmail.com]

Hi
Does current version of PRISM support SCC-Based model checking?
Is there any implementation available about the paper " Incremental Quantitative Verification for Markov Decision Processes"?
Thanks

[Dave Parker]

Hi,

This was implemented in a separate version of PRISM. I'll check with the
author and see what the status is.

Best wishes,

Dave.

> --
> 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
> <mailto:prismmodelchec...@googlegroups.com>.
> To post to this group, send email to prismmod...@googlegroups.com
> <mailto:prismmod...@googlegroups.com>.
> Visit this group at http://groups.google.com/group/prismmodelchecker.
> For more options, visit https://groups.google.com/d/optout.