qcomp.org is the home of the Quantitative Verification Benchmark Set (QVBS), the Comparison of Tools for the Analysis of Quantitative Formal Models (QComp), and the Workshop on Reproducibility and Replication of Research Results (RRRR).
The Quantitative Verification Benchmark Set is a collection of probabilistic models to serve as a benchmark set for the benefit of algorithm and tool developers as well as the foundation of QComp.
The Comparison of Tools for the Analysis of Quantitative Formal Models (QComp) is the friendly competition among verification and analysis tools for quantitative formal models. Drawing its benchmarks from the Quantitative Verification Benchmark Set, it compares the performance, versatility, and usability of the participating tools.
Read more about the most recent QComp...
The Workshop on Reproducibility and Replication of Research Results provides a forum to present novel approaches to foster reproducibility of research results, and replication studies of existing work, in the broad area of formal methods research.