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.