diff --git a/README.md b/README.md index 6dcf702a0..c8d4dbb38 100644 --- a/README.md +++ b/README.md @@ -11,6 +11,8 @@ Benchmarks Example input files for Storm can be obtained from https://github.com/moves-rwth/storm-examples. +Various Benchmarks together with example invocations of Storm can be found at the [Quantitative Verification Benchmark Suite (QVBS)](http://qcomp.org/benchmarks). + Further examples and benchmarks can be found in the following repositories: * **Prism files** (DTMC, MDP, CTMC):