This is the GitHub repository of the Quantitative Verification Benchmark Set, the Comparison of Tools for the Analysis of Quantitative Formal Models, and the Workshop on Reproducibility and Replication of Research Results.
The data in this repository is provided under the terms of the CC-BY 4.0 license, except for the files contained in the fonts and libraries folders and their subfolders.
Please visit the official website for further information.