assume-guarantee verification for probabilistic systems

18 views
Skip to first unread message

bensalah...@gmail.com

unread,
Mar 22, 2019, 3:19:51 PM3/22/19
to PRISM model checker developers
Hi

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

how to find it ?


Reference ;
assume-guarantee verification for probabilistic systems
https://www.prismmodelchecker.org/papers/tacas10.pdf
Thanks,

Dave Parker

unread,
Aug 8, 2019, 10:06:03 AM8/8/19
to PRISM model checker developers, bensalah...@gmail.com
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

unread,
Sep 19, 2019, 8:32:39 PM9/19/19
to Dave Parker, PRISM model checker developers
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.
Reply all
Reply to author
Forward
0 new messages