Skip to content
qcomp.org – Quantitative Model Repository and Tool Comparison
Branch: master
Clone or download
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
benchmarks Website/benchmarks: Expanded and clarified licensing information. Feb 19, 2019
competition/2019 Website/competition: Added a link to the QComp 2019 replication package. Apr 10, 2019
fonts/Tajawal benchmarks/dtmc: Added mcsta results. Nov 21, 2018
libraries benchmarks/dtmc: Added mcsta results. Nov 21, 2018
.gitattributes Website: Replaced references to libraries and fonts on external serve… Nov 14, 2018
README.md benchmarks/mdp/resource-gathering: Fixed an issue in the PRISM-to-JAN… Nov 27, 2018
email.png
index.html Website: The model repository is now a benchmark set. Nov 16, 2018
script.js Website/benchmarks: Added a results browser. Oct 3, 2018
style.css Website: Replaced references to libraries and fonts on external serve… Nov 14, 2018

README.md

qcomp.org – Quantitative Verification Benchmark Set and Tool Comparison

This is the GitHub repository of the Quantitative Verification Benchmark Set and the Comparison of Tools for the Analysis of Quantitative Formal Models. 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.

You can’t perform that action at this time.