Export adversary from a program in Java

[Niccolò Bellaccini]

Can anyone explain me how is it possible to export an adversary from a program in Java? Is there anywhere a documentation or examples about?

Many Thanks

[Dave Parker]

Hi Niccolò,

I recently set up a GitHub repo to store example code showing how to
connect to PRISM programmatically (from Java). It's here:

https://github.com/prismmodelchecker/prism-api

I've just added an example for adversary export. Browse the code here:

https://github.com/prismmodelchecker/prism-api/blob/master/src/demos/MDPAdversaryGeneration.java

Or follow the instructions in the readme and run it like this:

PRISM_MAINCLASS=demos.MDPAdversaryGeneration bin/run

Hope that helps,

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 https://groups.google.com/group/prismmodelchecker.
> For more options, visit https://groups.google.com/d/optout.

[Niccolò Bellaccini]

This is very helpful, many thanks.