"PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time" - Supporting Material

Paper: "PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time"
Marta Kwiatkowska, Gethin Norman, David Parker and Gabriel Santos

PRISM-games

PRISM-games can be downloaded from here.

The source code is available from this GitHub repo.

Artifact

To allow easy experimentation with this version of the tool and rerunning of the experiments included in the paper, we provide an artifact, in the form of a virtual machine:

• virtual machine: cav20pg3.ova
• virtual machine details: cav20pg3-vm.txt
• instructions: README.txt

We also provide a local copy of the files and scripts from the artifact needed to reproduce the graphs and table from the paper:

• artifact directory: cav20pg3
• models, properties and scripts subdirectory: cav20artifact
• logs subdirectory (graphs): logs-graphs
• logs subdirectory (table): logs-table