assume-guarantee verification for probabilistic systems

[bensalah...@gmail.com]

Hi

I am looking for the implementation to compute an compositional verification in PRISM  .

how to find it ?

http://www.prismmodelchecker.org/javadoc

Reference ;

assume-guarantee verification for probabilistic systems

https://www.prismmodelchecker.org/papers/tacas10.pdf

Thanks,

[Dave Parker]

Hi Bensalah,

This can all be done with the multi-objective model checking implemented
in PRISM. See the files and instructions here:

http://www.prismmodelchecker.org/files/ic-probag/

That is to accompany this paper:

http://www.prismmodelchecker.org/bibitem.php?key=KNPQ13

which is an extension of the TACAS'10 paper you linked to.

Best wishes,

Dave

> --
> You received this message because you are subscribed to the Google
> Groups "PRISM model checker developers" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to prismmodelchecke...@googlegroups.com
> <mailto:prismmodelchecke...@googlegroups.com>.
> To post to this group, send email to
> prismmodel...@googlegroups.com
> <mailto:prismmodel...@googlegroups.com>.
> Visit this group at https://groups.google.com/group/prismmodelchecker-dev.

[bensalah oumnail]

Hello Dave,

you have, exactly, answered my question.

Best regards,

To unsubscribe from this group and stop receiving emails from it, send an email to prismmodelchecke...@googlegroups.com.
To view this discussion on the web, visit https://groups.google.com/d/msgid/prismmodelchecker-dev/f038077c-0b5c-e4cc-c9a6-f77501844fc4%40cs.bham.ac.uk.