results_svi.zip (4.74 MB)
Experimental Results for Sound Value Iteration
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.
"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.
