(4.74 MB)
Download file

Experimental Results for Sound Value Iteration

Download (4.74 MB)
posted on 13.04.2018, 09:23 by Tim QuatmannTim Quatmann, Joost-Pieter Katoen
This file contains the experimental results for the paper
"Sound Value Iteration"
by Tim Quatmann and Joost-Pieter Katoen presented at CAV 2018.

- The directory ./models contains all model files (in the PRISM input language) and the corresponding properties that were considered in the paper.
- The directory ./logs/ contains all obtained logfiles, i.e., the output generated by Storm and Prism, respectively.
- The file ./data.csv lists model checking times and the number of performed iterations as extracted from the logfiles.


Usage metrics