qcomp.org

Benchmark Set  |  Competition  |  Workshop

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).

Quantitative Verification Benchmark Set

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.

Browse the benchmark set...

QComp: Quantitative Verification Competition

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...

Reproducibility and Replication of Research Results

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. Its first edition, RRRR 2022, will be part of ETAPS 2022 in Munich, Germany.

Read more about RRRR 2022...